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

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

void call (void);

void foo (int base)
{
  unsigned i;

  // Ranger should be able to remove the (i > 123) comparison.
  for (i = base; i < 10; i++)
    if (i > 123)
      {
        call ();
	return;
      }
}

/* { dg-final { scan-tree-dump-not "call" "evrp"} } */
Commit	Line	Data
0d1189b4 AM	1	/* { dg-do compile } */
	2	/* { dg-options "-O2 -fdump-tree-evrp" } */
	3
	4	void call (void);
	5
	6	void foo (int base)
	7	{
	8	unsigned i;
	9
	10	// Ranger should be able to remove the (i > 123) comparison.
	11	for (i = base; i < 10; i++)
	12	if (i > 123)
	13	{
	14	call ();
	15	return;
	16	}
	17	}
	18
	19	/* { dg-final { scan-tree-dump-not "call" "evrp"} } */