diff options
Diffstat (limited to 'gcc/testsuite/gcc.c-torture/execute/vrp-5.c')
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/vrp-5.c | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/execute/vrp-5.c b/gcc/testsuite/gcc.c-torture/execute/vrp-5.c new file mode 100644 index 000000000..8f3c7255a --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/vrp-5.c @@ -0,0 +1,22 @@ +extern void exit (int); +extern void abort (); + +void test(unsigned int a, unsigned int b) +{ + if (a < 5) + abort(); + if (b < 5) + abort(); + if (a + b != 0U) + abort(); +} + +int main(int argc, char *argv[]) +{ + unsigned int x = 0x80000000; + test(x, x); + exit (0); +} + + + |