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