1  void
       2  ed (int);
       3  
       4  double
       5  bg (void)
       6  {
       7    double kl = __builtin_huge_val ();
       8  
       9    ed (0);
      10  
      11    return kl;
      12  }
      13  
      14  static double __attribute__((noinline))
      15  get_hugeval (void)
      16  {
      17    return __builtin_huge_val ();
      18  }
      19  
      20  int test_2 (int i)
      21  {
      22    if (i < get_hugeval ())
      23      return 42;
      24    return 0;
      25  }