gcc/testsuite/g++.dg/cpp1y/constexpr-50060.C

   1 // PR c++/50060
   2 // { dg-do compile { target c++14 } }
   3
   4 // sincos and lgamma_r aren't available in -std=c++14,
   5 // only in -std=gnu++14.  Use __builtin_* in that case.
   6 extern "C" void sincos (double, double *, double *);
   7 extern "C" double frexp (double, int *);
   8 extern "C" double modf (double, double *);
   9 extern "C" double remquo (double, double, int *);
  10 extern "C" double lgamma_r (double, int *);
  11
  12 constexpr double
  13 f0 (double x)
  14 {
  15   double y {};
  16   double z {};
  17   __builtin_sincos (x, &y, &z);
  18   return y;
  19 }
  20
  21 constexpr double
  22 f1 (double x)
  23 {
  24   double y {};
  25   double z {};
  26   __builtin_sincos (x, &y, &z);
  27   return z;
  28 }
  29
  30 constexpr double
  31 f2 (double x)
  32 {
  33   int y {};
  34   return frexp (x, &y);
  35 }
  36
  37 constexpr int
  38 f3 (double x)
  39 {
  40   int y {};
  41   frexp (x, &y);
  42   return y;
  43 }
  44
  45 constexpr double
  46 f4 (double x)
  47 {
  48   double y {};
  49   return modf (x, &y);
  50 }
  51
  52 constexpr double
  53 f5 (double x)
  54 {
  55   double y {};
  56   modf (x, &y);
  57   return y;
  58 }
  59
  60 constexpr double
  61 f6 (double x, double y)
  62 {
  63   int z {};
  64   return remquo (x, y, &z);
  65 }
  66
  67 constexpr int
  68 f7 (double x, double y)
  69 {
  70   int z {};
  71   remquo (x, y, &z);
  72   return z;
  73 }
  74
  75 constexpr double
  76 f8 (double x)
  77 {
  78   int y {};
  79   return __builtin_lgamma_r (x, &y);
  80 }
  81
  82 constexpr int
  83 f9 (double x)
  84 {
  85   int y {};
  86   __builtin_lgamma_r (x, &y);
  87   return y;
  88 }
  89
  90 static_assert (f0 (0.0) == 0.0, "");
  91 static_assert (f1 (0.0) == 1.0, "");
  92 static_assert (f2 (6.5) == 0.8125, "");
  93 static_assert (f3 (6.5) == 3, "");
  94 static_assert (f4 (-7.25) == -0.25, "");
  95 static_assert (f5 (-7.25) == -7.0, "");
  96 static_assert (f6 (3.0, 2.0) == -1.0, "");
  97 static_assert (f7 (3.0, 2.0) == 2, "");
  98 static_assert (f8 (0.75) >= 0.20 && f8 (0.75) <= 0.21, "");
  99 static_assert (f8 (0.75) >= 0.20 && f8 (0.75) <= 0.21, "");
 100 static_assert (f9 (0.75) == 1, "");