/* $ x86_64-unknown-linux-gnu-gcc-4.10.0 test.c -O2 $ ./a.out @NG@ (test = 1) $ x86_64-unknown-linux-gnu-gcc-4.10.0 -v Using built-in specs. COLLECT_GCC=x86_64-unknown-linux-gnu-gcc-4.10.0 COLLECT_LTO_WRAPPER=/usr/local/x86_64-tools/gcc-4.10.0/libexec/gcc/x86_64-unknown-linux-gnu/4.10.0/lto-wrapper Target: x86_64-unknown-linux-gnu Configured with: /home/hassy/gcc/configure --prefix=/usr/local/x86_64-tools/gcc-4.10.0/ --with-gmp=/usr/local/gmp-5.1.1/ --with-mpfr=/usr/local/mpfr-3.1.2/ --with-mpc=/usr/local/mpc-1.0.1/ --disable-multilib --disable-nls --enable-languages=c Thread model: posix gcc version 4.10.0 20140502 (experimental) (GCC) */ #include #define OK() printf("@OK@\n") #define NG(fmt,val) printf("@NG@ (test = " fmt ")\n",val) int main (void) { signed long x570 = 9223341989138836990L; signed int t573 = 0; signed int t719 = 1; t719 = (((signed long)-30047715938819L+t573)>(x570-(signed long)1L)); if (t719 == 0) { OK(); } else { NG("%d", t719); } return 0; }