1*a07aba5dSTimm Baeder // RUN: %clang_cc1 -fexperimental-new-constant-interpreter -std=c++11 -verify=expected,expected11,both,both11 %s 2*a07aba5dSTimm Baeder // RUN: %clang_cc1 -fexperimental-new-constant-interpreter -std=c++14 -verify=expected,expected14,both %s 3*a07aba5dSTimm Baeder // RUN: %clang_cc1 -std=c++11 -verify=ref,ref11,both,both11 %s 4*a07aba5dSTimm Baeder // RUN: %clang_cc1 -std=c++14 -verify=ref,ref14,both %s 5*a07aba5dSTimm Baeder 6*a07aba5dSTimm Baeder 7*a07aba5dSTimm Baeder 8*a07aba5dSTimm Baeder 9*a07aba5dSTimm Baeder 10*a07aba5dSTimm Baeder namespace Simple { 11*a07aba5dSTimm Baeder struct S { 12*a07aba5dSTimm Baeder mutable int a; // both-note {{declared here}} \ 13*a07aba5dSTimm Baeder // both11-note {{declared here}} 14*a07aba5dSTimm Baeder int a2; 15*a07aba5dSTimm Baeder }; 16*a07aba5dSTimm Baeder 17*a07aba5dSTimm Baeder constexpr S s{12, 24}; 18*a07aba5dSTimm Baeder static_assert(s.a == 12, ""); // both-error {{not an integral constant expression}} \ 19*a07aba5dSTimm Baeder // both-note {{read of mutable member 'a'}} 20*a07aba5dSTimm Baeder static_assert(s.a2 == 24, ""); 21*a07aba5dSTimm Baeder 22*a07aba5dSTimm Baeder 23*a07aba5dSTimm Baeder constexpr S s2{12, s2.a}; // both11-error {{must be initialized by a constant expression}} \ 24*a07aba5dSTimm Baeder // both11-note {{read of mutable member 'a'}} \ 25*a07aba5dSTimm Baeder // both11-note {{declared here}} 26*a07aba5dSTimm Baeder static_assert(s2.a2 == 12, ""); // both11-error {{not an integral constant expression}} \ 27*a07aba5dSTimm Baeder // both11-note {{initializer of 's2' is not a constant expression}} 28*a07aba5dSTimm Baeder } 29