1  // { dg-do compile }
       2  // { dg-options "-O2 -fdisable-tree-ethread -fdump-tree-evrp" }
       3  
       4  void bar ();
       5  
       6  void
       7  foo (double x, double y)
       8  {
       9        if (x > y)
      10  	;
      11        else if (!__builtin_isnan (x) && !__builtin_isnan (y))
      12  	{
      13  	  // If x and y are not NAN, the x <= y relationship holds, and the
      14  	  // following conditional can be folded away.
      15  	  if (x <= y)
      16  	    bar ();
      17  	}
      18  }
      19  
      20  // { dg-final { scan-tree-dump-times "Folding predicate x_.* <= y_.* to 1" 1 "evrp" } }