gcc/testsuite/gcc.dg/pr61441.c

   1 /* { dg-do run { target { *-*-linux* *-*-gnu* } } } */
   2 /* { dg-options "-O1 -lm -fexcess-precision=standard" } */
   3 /* { dg-require-effective-target issignaling } */
   4
   5 #define _GNU_SOURCE
   6 #include <stdio.h>
   7 #include <math.h>
   8
   9 void conversion()
  10 {
  11   float sNaN = __builtin_nansf ("");
  12   double x = (double) sNaN;
  13   if (issignaling(x))
  14   {
  15     __builtin_abort();
  16   }
  17 }
  18
  19 enum op {Add, Mult, Div, Abs};
  20
  21 void operation(enum op t)
  22 {
  23   float x, y;
  24   float sNaN = __builtin_nansf ("");
  25   switch (t)
  26   {
  27     case Abs:
  28       x = fabs(sNaN);
  29       break;
  30     case Add:
  31       x = sNaN + 2.0;
  32       break;
  33     case Mult:
  34       x = sNaN * 2.0;
  35       break;
  36     case Div:
  37     default:
  38       x = sNaN / 2.0;
  39       break;
  40   }
  41   if (t == Abs)
  42   {
  43     if (!issignaling(x))
  44     {
  45       __builtin_abort();
  46     }
  47   }
  48   else if (issignaling(x))
  49   {
  50     __builtin_abort();
  51   }
  52 }
  53
  54 int main (void)
  55 {
  56   conversion();
  57   operation(Add);
  58   operation(Mult);
  59   operation(Div);
  60 #if __FLT_EVAL_METHOD__ == 0
  61   operation(Abs);
  62 #endif
  63   return 0;
  64 }