From 32ec9a977785bafa492185ac4e5e0880f93d7d17 Mon Sep 17 00:00:00 2001 From: vries Date: Mon, 6 Aug 2012 08:32:27 +0000 Subject: [PATCH] 2012-08-06 Tom de Vries * gcc.dg/tree-ssa/vrp78.c: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@190169 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gcc.dg/tree-ssa/vrp78.c | 34 ++++++++++++++++++++++++++++++++++ 2 files changed, 38 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/vrp78.c diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e41b25a..7311f7b 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2012-08-06 Tom de Vries + + * gcc.dg/tree-ssa/vrp78.c: New test. + 2012-08-04 Sandra Loosemore Richard Sandiford diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vrp78.c b/gcc/testsuite/gcc.dg/tree-ssa/vrp78.c new file mode 100644 index 0000000..e08d1ff --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/vrp78.c @@ -0,0 +1,34 @@ +/* { dg-do link } */ +/* { dg-options "-O2" } */ + +/* Based on f3 from vrp63.c, but with switch instead of if-chain. */ + +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.7.4