diff options
Diffstat (limited to 'gcc/testsuite/gcc.c-torture/execute/vrp-3.c')
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/vrp-3.c | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/execute/vrp-3.c b/gcc/testsuite/gcc.c-torture/execute/vrp-3.c new file mode 100644 index 000000000..bc0e490dc --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/vrp-3.c @@ -0,0 +1,21 @@ +extern void abort (); +extern void exit (int); + +int f (int a) { + if (a < 12) { + if (a > -15) { + 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); +} + |