diff options
Diffstat (limited to 'gcc/testsuite/gcc.c-torture/execute/vrp-1.c')
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/vrp-1.c | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/execute/vrp-1.c b/gcc/testsuite/gcc.c-torture/execute/vrp-1.c new file mode 100644 index 000000000..ac42e6c37 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/vrp-1.c @@ -0,0 +1,20 @@ + +extern void abort (); +extern void exit (int); + +int f (int a) { + if (a != 2) { + a = -a; + if (a == 2) + return 0; + return 1; + } + return 1; +} + +int main (int argc, char *argv[]) { + if (f (-2)) + abort (); + exit (0); +} + |