1  // { dg-do compile }
       2  // { dg-options "-O2 -fno-thread-jumps -fdisable-tree-fre1 -fdump-tree-evrp" }
       3  
       4  void link_error ();
       5  void bar ();
       6  
       7  float
       8  foo (float x)
       9  {
      10    if (x == x)
      11      {
      12        bar ();
      13      }
      14    else
      15      {
      16        // The false side of x == x implies NAN, so we should be able to
      17        // fold this.
      18        if (!__builtin_isnan (x))
      19  	link_error ();
      20      }
      21  }
      22  
      23  // { dg-final { scan-tree-dump-not "link_error" "evrp" } }