gcc/testsuite/g++.dg/cpp0x/constexpr-arith-overflow2.C

   1 // PR c++/70507 - integer overflow builtins not constant expressions
   2 // The constexpr-arith-overflow.C testcase covers this for C++14 and later.
   3 // { dg-do compile }
   4 // { dg-options "-std=c++11" }
   5
   6 #define Assert(expr) static_assert ((expr), #expr)
   7
   8 template <class T>
   9 constexpr T add (T x, T y, T z = T ())
  10 {
  11   return __builtin_add_overflow (x, y, &z) ? 0 : z;     // { dg-error "is not a constant expression" }
  12 }
  13
  14 template <class T>
  15 constexpr T sub (T x, T y, T z = T ())
  16 {
  17   return __builtin_sub_overflow (x, y, &z) ? 0 : z;     // { dg-error "is not a constant expression" }
  18 }
  19
  20 template <class T>
  21 constexpr T mul (T x, T y, T z = T ())
  22 {
  23   return __builtin_mul_overflow (x, y, &z) ? 0 : z;     // { dg-error "is not a constant expression" }
  24 }
  25
  26 Assert (0 == add<int>(0, 0));   // { dg-error "non-constant condition for static assertion" }
  27 Assert (0 == sub<int>(0, 0));   // { dg-error "non-constant condition for static assertion" }
  28 Assert (0 == mul<int>(0, 0));   // { dg-error "non-constant condition for static assertion" }
  29 // { dg-message "expansion of" "" { target *-*-* } .-3 }
  30 // { dg-message "expansion of" "" { target *-*-* } .-3 }
  31 // { dg-message "expansion of" "" { target *-*-* } .-3 }