aboutsummaryrefslogtreecommitdiff
path: root/SingleSource/Regression/C/gcc-c-torture/execute/vrp-5.c
diff options
context:
space:
mode:
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.c20
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);
+}