// { dg-do compile { target c++11 } } | |
// A call is noexcept if it is a valid subexpression of a constant | |
// expression, even if it is not itself a constant expression. | |
#define SA(X) static_assert(X,#X) | |
constexpr const int* f(const int *p) { return p; } | |
int main() | |
{ | |
constexpr int i = 42; | |
SA(noexcept(*f(&i))); | |
SA(noexcept(f(&i))); | |
} |