gcc/testsuite/gcc.dg/tree-ssa/vrp71.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
   3
   4 int foo(int *p)
   5 {
   6   int x = -10;
   7   if (p[0]) x++;
   8   if (p[1]) x++;
   9   if (p[2]) x++;
  10   if (p[3]) x++;
  11   x <<= 2;
  12   return (x > 0);
  13 }
  14
  15 int bar(char c)
  16 {
  17   int i = c << 1;
  18   return i > 1000;
  19 }
  20
  21 /* { dg-final { scan-tree-dump-times "return 0;" 2 "vrp1" } } */