[thirdparty/gcc.git] / gcc / testsuite / gcc.dg / tree-ssa / pr93781-2.c

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

void kill (void);

void foo (unsigned int arg)
{
  unsigned int C000003FE = 4;

  if (arg + 1 < 4)  // work for if (arg < 3)
     C000003FE = 0x1 << arg;

  if (C000003FE >= 5)
    kill ();
}

/* { dg-final { scan-tree-dump-not "kill" "evrp" } } */
Commit	Line	Data
d0d8b5d8 AM	1	/* { dg-do compile } */
	2	/* { dg-options "-O2 -fdump-tree-evrp" } */
	3
	4	void kill (void);
	5
	6	void foo (unsigned int arg)
	7	{
	8	unsigned int C000003FE = 4;
	9
	10	if (arg + 1 < 4) // work for if (arg < 3)
	11	C000003FE = 0x1 << arg;
	12
	13	if (C000003FE >= 5)
	14	kill ();
	15	}
	16
	17	/* { dg-final { scan-tree-dump-not "kill" "evrp" } } */