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