Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/tree-ssa/vrp76.c @ 111:04ced10e8804
gcc 7
author | kono |
---|---|
date | Fri, 27 Oct 2017 22:46:09 +0900 |
parents | |
children |
line wrap: on
line source
/* { 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; }