1  /* Test that double precision constants are correctly handled 
       2     when code is compiled with -fsingle-precision-constant */
       3  /* Origin: Carlos O'Donell <carlos@codesourcery.com> */
       4  
       5  /* { dg-do run } */
       6  /* { dg-options "-fsingle-precision-constant" } */
       7  
       8  #include <math.h>
       9  #include <float.h>
      10  
      11  #include "builtins-config.h"
      12  
      13  int main (void)
      14  {
      15    int result = 0;
      16    double local_DBL_MAX = DBL_MAX; 
      17    double local_DBL_MIN = DBL_MIN;
      18  #ifdef HAVE_C99_RUNTIME
      19    if (isinf (local_DBL_MAX))
      20      result |= 1;
      21  #endif
      22    if (local_DBL_MIN <= 0.0)
      23      result |= 1;
      24    return result;
      25  }