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

// { 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)));
}