diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/vrp76.c | 35 |
2 files changed, 39 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 330e645..0537caf 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2012-08-01 Tom de Vries <tom@codesourcery.com> + + * gcc.dg/tree-ssa/vrp76.c: New test. + 2012-08-01 Bill Schmidt <wschmidt@linux.ibm.com> PR tree-optimization/46556 diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vrp76.c b/gcc/testsuite/gcc.dg/tree-ssa/vrp76.c new file mode 100644 index 0000000..c8b8595 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/vrp76.c @@ -0,0 +1,35 @@ +/* { dg-do link } */ +/* { dg-options "-O2 -fno-tree-switch-conversion" } */ + +/* Based on f3 from vrp63.c, but with switch instead of if-chain. This test + tests the propagation of an anti-range in a switch statement. */ + +extern void link_error (void); + +void +f3 (int s) +{ + if (s >> 3 == -2) + /* s in range [ -16, -9]. */ + ; + else + { + /* s in range ~[-16, -9], so none of the case labels can be taken. */ + switch (s) + { + case -16: + case -12: + case -9: + link_error (); + break; + default: + break; + } + } +} + +int +main () +{ + return 0; +} |