/* The non-destructive folder was always emitting >= when folding
   comparisons to signed_max+1.  */

#include <limits.h>

void abort(void);

int main() {
    unsigned long count = 8;

    if (count > INT_MAX)
        abort();

    return (0);
}
