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