(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.dg/
div-double-1.c
       1  /* { dg-do run } */
       2  /* { dg-options "-O2 -ffinite-math-only" } */
       3  /* { dg-require-effective-target double64plus } */
       4  
       5  extern void abort (void);
       6  
       7  volatile double a = 2.002083e-146;
       8  volatile double b;
       9  
      10  int
      11  main()
      12  {
      13    b = 1. / a;
      14  
      15    if (b != (1. / 2.002083e-146))
      16      abort ();
      17    return 0;
      18  }