Mercurial > hg > CbC > CbC_gcc
comparison gcc/testsuite/g++.dg/cpp0x/constexpr-arith-overflow2.C @ 145:1830386684a0
gcc-9.2.0
author | anatofuz |
---|---|
date | Thu, 13 Feb 2020 11:34:05 +0900 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
131:84e7813d76e9 | 145:1830386684a0 |
---|---|
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 } |