1  // { dg-do compile }
       2  // { dg-options "-O2 -fdump-tree-evrp-details" }
       3  
       4  void foo ();
       5  void bar (double);
       6  
       7  void funky(double f, double g)
       8  {
       9    if (f <= __builtin_inf ())
      10      foo ();
      11    else
      12      bar (f);
      13  }
      14  
      15  // { dg-final { scan-tree-dump-not " Inf,  Inf" "evrp" } }