// { dg-do compile { target c++14 } }

#define SA(X) static_assert((X),#X)

constexpr int f(int i) { { int j = i+1; return j; } }

constexpr int i = f(41);

struct S
{
  constexpr S() { { constexpr int j = 17; SA(j == 17); } }
};

SA(i==42);