1  /* { dg-do run } */
       2  /* { dg-add-options ieee } */
       3  /* { dg-require-effective-target fenv_exceptions_double } */
       4  
       5  #include <fenv.h>
       6  
       7  extern void abort (void);
       8  extern void exit (int);
       9  
      10  volatile double x = __builtin_nan ("");
      11  volatile int i;
      12  
      13  int
      14  main (void)
      15  {
      16    i = x != __builtin_inf ();
      17    if (i != 1 || fetestexcept (FE_INVALID))
      18      abort ();
      19  }