blob: cbf1351c4be71f1ad78bcbd1670b0cdc422c04dc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
/* The non-destructive folder was always emitting >= when folding
comparisons to signed_max+1. */
#include <limits.h>
int
main ()
{
unsigned long count = 8;
if (count > INT_MAX)
abort ();
return (0);
}
|