1  // { dg-do compile }
       2  // { dg-options "-O2 -fdisable-tree-ethread -fdisable-tree-fre1 -fdump-tree-evrp-details" }
       3  
       4  void bar ();
       5  void george ();
       6  
       7  float
       8  foo (float x, float y)
       9  {
      10    if (x == x)
      11      {
      12        if (x > y)
      13          bar();
      14        if (x == x)
      15          george();
      16      }
      17  }
      18  
      19  // { dg-final { scan-tree-dump-times "Folded into: if \\(1 != 0\\)" 1 "evrp" } }