From ece401eecc53b5560f490ec2899f7180f8bf10b6 Mon Sep 17 00:00:00 2001 From: Tom de Vries Date: Wed, 1 Aug 2012 16:53:15 +0000 Subject: [PATCH] vrp76.c: New test. 2012-08-01 Tom de Vries * gcc.dg/tree-ssa/vrp76.c: New test. From-SVN: r190044 --- gcc/testsuite/ChangeLog | 4 +++ gcc/testsuite/gcc.dg/tree-ssa/vrp76.c | 35 +++++++++++++++++++++++++++ 2 files changed, 39 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/vrp76.c diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 330e64583958..0537caf2209d 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2012-08-01 Tom de Vries + + * gcc.dg/tree-ssa/vrp76.c: New test. + 2012-08-01 Bill Schmidt 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 000000000000..c8b8595c6be5 --- /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; +} -- 2.39.5