gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-30.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O -fdump-tree-ccp1" } */
   3
   4 int
   5 foo (int a)
   6 {
   7   int b = a & 0xff;
   8   if (b > 300)
   9     return 2;
  10   else
  11     return 1;
  12 }
  13
  14 /* { dg-final { scan-tree-dump-times "Folding predicate b_.* > 300 to 0" 1 "ccp1" } } */