1  /* Test SNAN macros.  Runtime exceptions test, to verify NaN is
       2     signaling.  */
       3  /* { dg-do run } */
       4  /* { dg-require-effective-target fenv_exceptions_double } */
       5  /* { dg-options "-std=c2x -pedantic-errors -fsignaling-nans" } */
       6  /* { dg-add-options ieee } */
       7  
       8  #include <fenv.h>
       9  #include <float.h>
      10  
      11  /* This should be defined if and only if signaling NaNs is supported
      12     for the given type.  If the testsuite gains effective-target
      13     support for targets not supporting signaling NaNs, this test
      14     should be made appropriately conditional.  */
      15  #ifndef DBL_SNAN
      16  #error "DBL_SNAN undefined"
      17  #endif
      18  
      19  volatile double d = DBL_SNAN;
      20  
      21  extern void abort (void);
      22  extern void exit (int);
      23  
      24  int
      25  main (void)
      26  {
      27    feclearexcept (FE_ALL_EXCEPT);
      28    d += d;
      29    if (!fetestexcept (FE_INVALID))
      30      abort ();
      31    exit (0);
      32  }