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); }