diff options
Diffstat (limited to 'gcc/testsuite/gcc.c-torture/execute/divcmp-5.c')
-rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/divcmp-5.c | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/execute/divcmp-5.c b/gcc/testsuite/gcc.c-torture/execute/divcmp-5.c new file mode 100644 index 000000000..f6d1af3be --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/divcmp-5.c @@ -0,0 +1,31 @@ +/* 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; +} + |