------- Comment #5 from pinskia at gcc dot gnu dot org 2006-03-06 14:26 ------- Just for future reference, here is the C testcase that Eric B. posted to the list: /* PR middle-end/26561 */
extern void abort(void); int always_one_1 (int a) { if (a/100 >= -999999999) return 1; else return 0; } int always_one_2 (int a) { if (a/100 < -999999999) return 0; else return 1; } int main(void) { if (always_one_1 (0) != 1) abort (); if (always_one_2 (0) != 1) abort (); return 0; } -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26561