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

/* Confirm the ranger is picking up a relationship with equivalences.  */
/* { dg-do compile } */
/* { dg-options "-O2  -fdump-tree-evrp" } */

extern void foo ();

void f (unsigned int a, unsigned int b)
{
  if (a == b)
    for (unsigned i = 0; i < a; i++)
      if (i == b)   // Confirm  i < a also means i < b.
	foo (); /* Unreachable */
}

/* { dg-final { scan-tree-dump-times "foo\\(" 0 "evrp"} } */
Commit	Line	Data
ce3316e9 AM	1	/* Confirm the ranger is picking up a relationship with equivalences. */
	2	/* { dg-do compile } */
	3	/* { dg-options "-O2 -fdump-tree-evrp" } */
	4
	5	extern void foo ();
	6
	7	void f (unsigned int a, unsigned int b)
	8	{
	9	if (a == b)
	10	for (unsigned i = 0; i < a; i++)
	11	if (i == b) // Confirm i < a also means i < b.
	12	foo (); /* Unreachable */
	13	}
	14
	15	/* { dg-final { scan-tree-dump-times "foo\\(" 0 "evrp"} } */
	16