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