2 /* { dg-options "-O2 -fno-tree-switch-conversion" } */
4 /* Based on f3 from vrp63.c, but with switch instead of if-chain. This test
5 tests the propagation of an anti-range in a switch statement. */
7 extern void link_error (void);
13 /* s in range [ -16, -9]. */
17 /* s in range ~[-16, -9], so none of the case labels can be taken. */