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

   1 // PR c++/91705 - constexpr evaluation rejects ++/-- on floats.
   2 // { dg-do compile { target c++14 } }
   3
   4 #define SA(X) static_assert((X),#X)
   5
   6 template <class T>
   7 constexpr T fn1(T t)
   8 {
   9   return ++t;
  10 }
  11
  12 constexpr float fn2(float t)
  13 {
  14   return ++t;
  15 }
  16
  17 template <class T>
  18 constexpr T fn3(T t)
  19 {
  20   return --t;
  21 }
  22
  23 constexpr float fn4(float t)
  24 {
  25   return --t;
  26 }
  27
  28 template <class T>
  29 constexpr T fn5(T t)
  30 {
  31   return t++;
  32 }
  33
  34 constexpr float fn6(float t)
  35 {
  36   return t++;
  37 }
  38
  39 template <class T>
  40 constexpr T fn7(T t)
  41 {
  42   return t--;
  43 }
  44
  45 constexpr float fn8(float t)
  46 {
  47   return t--;
  48 }
  49
  50 constexpr double r1 = fn1(2.0f);
  51 SA(r1 == 3);
  52 constexpr double r2 = fn2(2.0f);
  53 SA(r2 == 3);
  54 constexpr double r3 = fn3(2.0f);
  55 SA(r3 == 1);
  56 constexpr double r4 = fn4(2.0f);
  57 SA(r4 == 1);
  58
  59 constexpr double r5 = fn5(2.0f);
  60 SA(r5 == 2);
  61 constexpr double r6 = fn6(2.0f);
  62 SA(r6 == 2);
  63 constexpr double r7 = fn7(2.0f);
  64 SA(r7 == 2);
  65 constexpr double r8 = fn8(2.0f);
  66 SA(r8 == 2);