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