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

   1 // { dg-do compile }
   2 // { dg-options "-O2 -fdump-tree-evrp-details" }
   3
   4 void gg(void);
   5 int f(unsigned t)
   6 {
   7   unsigned g = t*16;
   8   if (g==0)  return 1;
   9   gg();
  10   gg();
  11   gg();
  12   gg();
  13   gg();
  14   gg();
  15   if (g<=4)  return 1;
  16   return 0;
  17 }
  18
  19 // { dg-final { scan-tree-dump "Global Exported: g_.* MASK 0x1 VALUE 0x0" "evrp" } }