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

void bar ();
void george ();

float
foo (float x, float y)
{
  if (x == x)
    {
      if (x > y)
        bar();
      if (x == x)
        george();
    }
}

// { dg-final { scan-tree-dump-times "Folded into: if \\(1 != 0\\)" 1 "evrp" } }