* 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
+2012-08-06 Tom de Vries <tom@codesourcery.com>
+
+ * gcc.dg/tree-ssa/vrp78.c: New test.
+
2012-08-04 Sandra Loosemore <sandra@codesourcery.com>
Richard Sandiford <rdsandiford@googlemail.com>
--- /dev/null
+/* { 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;
+}