gcc-4.6/gcc/testsuite/g++.dg/cpp0x/constexpr-noexcept4.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14

// { dg-options -std=c++0x }
// 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)));
}