diff options
Diffstat (limited to 'SingleSource/Regression/C/gcc-c-torture/execute/vrp-5.c')
-rw-r--r-- | SingleSource/Regression/C/gcc-c-torture/execute/vrp-5.c | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/SingleSource/Regression/C/gcc-c-torture/execute/vrp-5.c b/SingleSource/Regression/C/gcc-c-torture/execute/vrp-5.c new file mode 100644 index 00000000..792c1b09 --- /dev/null +++ b/SingleSource/Regression/C/gcc-c-torture/execute/vrp-5.c @@ -0,0 +1,20 @@ +/* { dg-require-effective-target int32plus } */ +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); +} |