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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

// { dg-do compile }
// { dg-options "-O2 -fdump-tree-evrp-details" }

void gg(void);
int f(unsigned t)
{
  unsigned g = t*16;
  if (g==0)  return 1;
  gg();
  gg();
  gg();
  gg();
  gg();
  gg();
  if (g<=4)  return 1;
  return 0;
}

// { dg-final { scan-tree-dump "Global Exported: g_.* MASK 0x1 VALUE 0x0" "evrp" } }