1  // { dg-do compile }
       2  // { dg-options "-O2 -ffinite-math-only -fdump-tree-evrp" }
       3  
       4  void bar(float);
       5  
       6  void funk(int cond)
       7  {
       8    float x;
       9  
      10    if (cond)
      11      x = __builtin_nan ("");
      12    else
      13      x = 1.24;
      14  
      15    bar(x);
      16  }
      17  
      18  // { dg-final { scan-tree-dump-times "bar \\(1.24" 1 "evrp" } }