1604fb38cd943649bee579103d17ca6cda4aad144Richard Smith// RUN: %clang_cc1 -triple i686-linux -Wno-string-plus-int -fsyntax-only -fcxx-exceptions -verify -std=c++11 -pedantic %s -Wno-comment 259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace StaticAssertFoldTest { 459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithint x; 69eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(++x, "test"); // expected-error {{not an integral constant expression}} 79eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(false, "test"); // expected-error {{test}} 859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 1059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 111d238ea926bbdd04356ce475934fcd4cac654c4bRichard Smithtypedef decltype(sizeof(char)) size_t; 121d238ea926bbdd04356ce475934fcd4cac654c4bRichard Smith 131d238ea926bbdd04356ce475934fcd4cac654c4bRichard Smithtemplate<typename T> constexpr T id(const T &t) { return t; } 141d238ea926bbdd04356ce475934fcd4cac654c4bRichard Smithtemplate<typename T> constexpr T min(const T &a, const T &b) { 151d238ea926bbdd04356ce475934fcd4cac654c4bRichard Smith return a < b ? a : b; 161d238ea926bbdd04356ce475934fcd4cac654c4bRichard Smith} 171d238ea926bbdd04356ce475934fcd4cac654c4bRichard Smithtemplate<typename T> constexpr T max(const T &a, const T &b) { 181d238ea926bbdd04356ce475934fcd4cac654c4bRichard Smith return a < b ? b : a; 191d238ea926bbdd04356ce475934fcd4cac654c4bRichard Smith} 201d238ea926bbdd04356ce475934fcd4cac654c4bRichard Smithtemplate<typename T, size_t N> constexpr T *begin(T (&xs)[N]) { return xs; } 211d238ea926bbdd04356ce475934fcd4cac654c4bRichard Smithtemplate<typename T, size_t N> constexpr T *end(T (&xs)[N]) { return xs + N; } 2259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 2359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithstruct MemberZero { 2459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr int zero() { return 0; } 2559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith}; 2659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 2759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace DerivedToVBaseCast { 2859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 2959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith struct U { int n; }; 3059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith struct V : U { int n; }; 3159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith struct A : virtual V { int n; }; 3259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith struct Aa { int n; }; 3359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith struct B : virtual A, Aa {}; 3459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith struct C : virtual A, Aa {}; 3559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith struct D : B, C {}; 3659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 3759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith D d; 3859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr B *p = &d; 3959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr C *q = &d; 40f15fda02e9c8c82b4a716618f4010b9af8bff796Richard Smith 419eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((void*)p != (void*)q, ""); 429eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((A*)p == (A*)q, ""); 439eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((Aa*)p != (Aa*)q, ""); 4459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 4559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr B &pp = d; 4659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr C &qq = d; 479eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((void*)&pp != (void*)&qq, ""); 489eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(&(A&)pp == &(A&)qq, ""); 499eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(&(Aa&)pp != &(Aa&)qq, ""); 5059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 5159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr V *v = p; 5259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr V *w = q; 5359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr V *x = (A*)p; 549eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(v == w, ""); 559eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(v == x, ""); 5659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 579eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((U*)&d == p, ""); 589eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((U*)&d == q, ""); 599eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((U*)&d == v, ""); 609eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((U*)&d == w, ""); 619eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((U*)&d == x, ""); 6259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 6359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith struct X {}; 6459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith struct Y1 : virtual X {}; 6559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith struct Y2 : X {}; 6659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith struct Z : Y1, Y2 {}; 6759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith Z z; 689eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((X*)(Y1*)&z != (X*)(Y2*)&z, ""); 6959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 7059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 71f64699e8db3946e21b5f4a0421cbc58a3e439599Richard Smithnamespace ConstCast { 72f64699e8db3946e21b5f4a0421cbc58a3e439599Richard Smith 73f64699e8db3946e21b5f4a0421cbc58a3e439599Richard Smithconstexpr int n1 = 0; 74f64699e8db3946e21b5f4a0421cbc58a3e439599Richard Smithconstexpr int n2 = const_cast<int&>(n1); 75f64699e8db3946e21b5f4a0421cbc58a3e439599Richard Smithconstexpr int *n3 = const_cast<int*>(&n1); 76f64699e8db3946e21b5f4a0421cbc58a3e439599Richard Smithconstexpr int n4 = *const_cast<int*>(&n1); 77f64699e8db3946e21b5f4a0421cbc58a3e439599Richard Smithconstexpr const int * const *n5 = const_cast<const int* const*>(&n3); 78f64699e8db3946e21b5f4a0421cbc58a3e439599Richard Smithconstexpr int **n6 = const_cast<int**>(&n3); 79f64699e8db3946e21b5f4a0421cbc58a3e439599Richard Smithconstexpr int n7 = **n5; 80f64699e8db3946e21b5f4a0421cbc58a3e439599Richard Smithconstexpr int n8 = **n6; 81f64699e8db3946e21b5f4a0421cbc58a3e439599Richard Smith 82f64699e8db3946e21b5f4a0421cbc58a3e439599Richard Smith} 83f64699e8db3946e21b5f4a0421cbc58a3e439599Richard Smith 8459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace TemplateArgumentConversion { 8559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith template<int n> struct IntParam {}; 8659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 8759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith using IntParam0 = IntParam<0>; 881d238ea926bbdd04356ce475934fcd4cac654c4bRichard Smith using IntParam0 = IntParam<id(0)>; 896180245e9f63d2927b185ec251fb75aba30f1cacRichard Smith using IntParam0 = IntParam<MemberZero().zero>; // expected-error {{did you mean to call it with no arguments?}} 9059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 9159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 9259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace CaseStatements { 9359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith void f(int n) { 9459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith switch (n) { 958ef7b203332b0c8d65876a1f5e6d1db4e6f40e4bRichard Smith case MemberZero().zero: // expected-error {{did you mean to call it with no arguments?}} expected-note {{previous}} 968ef7b203332b0c8d65876a1f5e6d1db4e6f40e4bRichard Smith case id(0): // expected-error {{duplicate case value '0'}} 9759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return; 9859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } 9959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } 10059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 10159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 10259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithextern int &Recurse1; 10316581335fc32abcbc6ab14eda7af38cf759664b7Richard Smithint &Recurse2 = Recurse1; // expected-note {{declared here}} 10416581335fc32abcbc6ab14eda7af38cf759664b7Richard Smithint &Recurse1 = Recurse2; 105099e7f647ccda915513f2b2ec53352dc756082d3Richard Smithconstexpr int &Recurse3 = Recurse2; // expected-error {{must be initialized by a constant expression}} expected-note {{initializer of 'Recurse2' is not a constant expression}} 106099e7f647ccda915513f2b2ec53352dc756082d3Richard Smith 107099e7f647ccda915513f2b2ec53352dc756082d3Richard Smithextern const int RecurseA; 108099e7f647ccda915513f2b2ec53352dc756082d3Richard Smithconst int RecurseB = RecurseA; // expected-note {{declared here}} 109099e7f647ccda915513f2b2ec53352dc756082d3Richard Smithconst int RecurseA = 10; 110099e7f647ccda915513f2b2ec53352dc756082d3Richard Smithconstexpr int RecurseC = RecurseB; // expected-error {{must be initialized by a constant expression}} expected-note {{initializer of 'RecurseB' is not a constant expression}} 11159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 11259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace MemberEnum { 11359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith struct WithMemberEnum { 11459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith enum E { A = 42 }; 11559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } wme; 11659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 1179eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(wme.A == 42, ""); 11859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 11959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 12059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace DefaultArguments { 12159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 12259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconst int z = int(); 12359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int Sum(int a = 0, const int &b = 0, const int *c = &z, char d = 0) { 12459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return a + b + *c + d; 12559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 12659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconst int four = 4; 12759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int eight = 8; 12859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr const int twentyseven = 27; 1299eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(Sum() == 0, ""); 1309eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(Sum(1) == 1, ""); 1319eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(Sum(1, four) == 5, ""); 1329eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(Sum(1, eight, &twentyseven) == 36, ""); 1339eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(Sum(1, 2, &four, eight) == 15, ""); 13459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 13559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 13659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 13759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace Ellipsis { 13859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 13959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith// Note, values passed through an ellipsis can't actually be used. 14059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int F(int a, ...) { return a; } 1419eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(F(0) == 0, ""); 1429eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(F(1, 0) == 1, ""); 1439eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(F(2, "test") == 2, ""); 1449eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(F(3, &F) == 3, ""); 1457098cbd601ad915aed22d4b5850da99359f25bf3Richard Smithint k = 0; // expected-note {{here}} 1467098cbd601ad915aed22d4b5850da99359f25bf3Richard Smithstatic_assert(F(4, k) == 3, ""); // expected-error {{constant expression}} expected-note {{read of non-const variable 'k'}} 14759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 14859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 14959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 15059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace Recursion { 15159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr int fib(int n) { return n > 1 ? fib(n-1) + fib(n-2) : n; } 1529eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(fib(11) == 89, ""); 15359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 15459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr int gcd_inner(int a, int b) { 15559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return b == 0 ? a : gcd_inner(b, a % b); 15659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } 15759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr int gcd(int a, int b) { 15859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return gcd_inner(max(a, b), min(a, b)); 15959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } 16059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 1619eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(gcd(1749237, 5628959) == 7, ""); 16259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 16359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 16459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace FunctionCast { 16559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith // When folding, we allow functions to be cast to different types. Such 16659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith // cast functions cannot be called, even if they're constexpr. 16759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr int f() { return 1; } 16859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith typedef double (*DoubleFn)(); 16959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith typedef int (*IntFn)(); 170d7c56e1114bfe7d461786903bb720d2c6efc05a1Richard Smith int a[(int)DoubleFn(f)()]; // expected-error {{variable length array}} expected-warning{{C99 feature}} 17159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith int b[(int)IntFn(f)()]; // ok 17259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 17359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 17459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace StaticMemberFunction { 17559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith struct S { 17659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith static constexpr int k = 42; 17759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith static constexpr int f(int n) { return n * k + 2; } 17859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } s; 17959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 18059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr int n = s.f(19); 1819eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(S::f(19) == 800, ""); 1829eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(s.f(19) == 800, ""); 1839eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(n == 800, ""); 1841bf9a9e6a5bdc0de7939908855dcddf46b661800Richard Smith 1851bf9a9e6a5bdc0de7939908855dcddf46b661800Richard Smith constexpr int (*sf1)(int) = &S::f; 1861bf9a9e6a5bdc0de7939908855dcddf46b661800Richard Smith constexpr int (*sf2)(int) = &s.f; 1871bf9a9e6a5bdc0de7939908855dcddf46b661800Richard Smith constexpr const int *sk = &s.k; 18859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 18959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 19059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace ParameterScopes { 19159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 19259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith const int k = 42; 19383587db1bda97f45d2b5a4189e584e2a18be511aRichard Smith constexpr const int &ObscureTheTruth(const int &a) { return a; } 194099e7f647ccda915513f2b2ec53352dc756082d3Richard Smith constexpr const int &MaybeReturnJunk(bool b, const int a) { // expected-note 2{{declared here}} 19583587db1bda97f45d2b5a4189e584e2a18be511aRichard Smith return ObscureTheTruth(b ? a : k); 19659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } 1979eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(MaybeReturnJunk(false, 0) == 42, ""); // ok 19883587db1bda97f45d2b5a4189e584e2a18be511aRichard Smith constexpr int a = MaybeReturnJunk(true, 0); // expected-error {{constant expression}} expected-note {{read of variable whose lifetime has ended}} 19959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 20083587db1bda97f45d2b5a4189e584e2a18be511aRichard Smith constexpr const int MaybeReturnNonstaticRef(bool b, const int a) { 20183587db1bda97f45d2b5a4189e584e2a18be511aRichard Smith return ObscureTheTruth(b ? a : k); 20259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } 2039eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(MaybeReturnNonstaticRef(false, 0) == 42, ""); // ok 20483587db1bda97f45d2b5a4189e584e2a18be511aRichard Smith constexpr int b = MaybeReturnNonstaticRef(true, 0); // ok 20559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 20659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr int InternalReturnJunk(int n) { 20783587db1bda97f45d2b5a4189e584e2a18be511aRichard Smith return MaybeReturnJunk(true, n); // expected-note {{read of variable whose lifetime has ended}} 20859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } 209099e7f647ccda915513f2b2ec53352dc756082d3Richard Smith constexpr int n3 = InternalReturnJunk(0); // expected-error {{must be initialized by a constant expression}} expected-note {{in call to 'InternalReturnJunk(0)'}} 21059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 21159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr int LToR(int &n) { return n; } 21259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr int GrabCallersArgument(bool which, int a, int b) { 21359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return LToR(which ? b : a); 21459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } 2159eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(GrabCallersArgument(false, 1, 2) == 1, ""); 2169eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(GrabCallersArgument(true, 4, 8) == 8, ""); 21759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 21859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 21959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 22059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace Pointers { 22159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 22259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr int f(int n, const int *a, const int *b, const int *c) { 22359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return n == 0 ? 0 : *a + f(n-1, b, c, a); 22459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } 22559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 22659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith const int x = 1, y = 10, z = 100; 2279eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(f(23, &x, &y, &z) == 788, ""); 22859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 22959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr int g(int n, int a, int b, int c) { 23059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return f(n, &a, &b, &c); 23159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } 2329eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(g(23, x, y, z) == 788, ""); 23359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 23459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 23559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 23659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace FunctionPointers { 23759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 23859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr int Double(int n) { return 2 * n; } 23959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr int Triple(int n) { return 3 * n; } 24059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr int Twice(int (*F)(int), int n) { return F(F(n)); } 24159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr int Quadruple(int n) { return Twice(Double, n); } 24259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr auto Select(int n) -> int (*)(int) { 24359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return n == 2 ? &Double : n == 3 ? &Triple : n == 4 ? &Quadruple : 0; 24459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } 245099e7f647ccda915513f2b2ec53352dc756082d3Richard Smith constexpr int Apply(int (*F)(int), int n) { return F(n); } // expected-note {{subexpression}} 24659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 2479eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(1 + Apply(Select(4), 5) + Apply(Select(3), 7) == 42, ""); 24859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 249099e7f647ccda915513f2b2ec53352dc756082d3Richard Smith constexpr int Invalid = Apply(Select(0), 0); // expected-error {{must be initialized by a constant expression}} expected-note {{in call to 'Apply(0, 0)'}} 25059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 25159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 25259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 25359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace PointerComparison { 25459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 25559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithint x, y; 2569eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(&x == &y, "false"); // expected-error {{false}} 2579eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(&x != &y, ""); 25859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr bool g1 = &x == &y; 25959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr bool g2 = &x != &y; 26059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr bool g3 = &x <= &y; // expected-error {{must be initialized by a constant expression}} 26159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr bool g4 = &x >= &y; // expected-error {{must be initialized by a constant expression}} 26259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr bool g5 = &x < &y; // expected-error {{must be initialized by a constant expression}} 26359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr bool g6 = &x > &y; // expected-error {{must be initialized by a constant expression}} 26459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 26559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithstruct S { int x, y; } s; 2669eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(&s.x == &s.y, "false"); // expected-error {{false}} 2679eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(&s.x != &s.y, ""); 2689eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(&s.x <= &s.y, ""); 2699eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(&s.x >= &s.y, "false"); // expected-error {{false}} 2709eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(&s.x < &s.y, ""); 2719eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(&s.x > &s.y, "false"); // expected-error {{false}} 2729eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith 2739eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(0 == &y, "false"); // expected-error {{false}} 2749eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(0 != &y, ""); 27559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr bool n3 = 0 <= &y; // expected-error {{must be initialized by a constant expression}} 27659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr bool n4 = 0 >= &y; // expected-error {{must be initialized by a constant expression}} 27759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr bool n5 = 0 < &y; // expected-error {{must be initialized by a constant expression}} 27859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr bool n6 = 0 > &y; // expected-error {{must be initialized by a constant expression}} 27959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 2809eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(&x == 0, "false"); // expected-error {{false}} 2819eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(&x != 0, ""); 28259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr bool n9 = &x <= 0; // expected-error {{must be initialized by a constant expression}} 28359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr bool n10 = &x >= 0; // expected-error {{must be initialized by a constant expression}} 28459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr bool n11 = &x < 0; // expected-error {{must be initialized by a constant expression}} 28559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr bool n12 = &x > 0; // expected-error {{must be initialized by a constant expression}} 28659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 2879eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(&x == &x, ""); 2889eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(&x != &x, "false"); // expected-error {{false}} 2899eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(&x <= &x, ""); 2909eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(&x >= &x, ""); 2919eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(&x < &x, "false"); // expected-error {{false}} 2929eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(&x > &x, "false"); // expected-error {{false}} 29359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 29459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr S* sptr = &s; 295099e7f647ccda915513f2b2ec53352dc756082d3Richard Smithconstexpr bool dyncast = sptr == dynamic_cast<S*>(sptr); // expected-error {{constant expression}} expected-note {{dynamic_cast}} 29659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 2972fd5983e0da447291a651a347c206aee37a1de5fRichard Smithstruct U {}; 298c216a01c96d83bd9a90e214af64913e93d39aaccRichard Smithstruct Str { 299c216a01c96d83bd9a90e214af64913e93d39aaccRichard Smith int a : dynamic_cast<S*>(sptr) == dynamic_cast<S*>(sptr); // \ 300244ee7b89a483fd3764637abdf95de2893b437d0Richard Smith expected-warning {{not an integral constant expression}} \ 3014cd9b8f7fb2cebf614e6e2bc766fad27ffd2e9deRichard Smith expected-note {{dynamic_cast is not allowed in a constant expression}} 302c216a01c96d83bd9a90e214af64913e93d39aaccRichard Smith int b : reinterpret_cast<S*>(sptr) == reinterpret_cast<S*>(sptr); // \ 303244ee7b89a483fd3764637abdf95de2893b437d0Richard Smith expected-warning {{not an integral constant expression}} \ 3044cd9b8f7fb2cebf614e6e2bc766fad27ffd2e9deRichard Smith expected-note {{reinterpret_cast is not allowed in a constant expression}} 305c216a01c96d83bd9a90e214af64913e93d39aaccRichard Smith int c : (S*)(long)(sptr) == (S*)(long)(sptr); // \ 306244ee7b89a483fd3764637abdf95de2893b437d0Richard Smith expected-warning {{not an integral constant expression}} \ 30760f24e781484250d3602261477d16321db7a157bRichard Smith expected-note {{cast which performs the conversions of a reinterpret_cast is not allowed in a constant expression}} 308c216a01c96d83bd9a90e214af64913e93d39aaccRichard Smith int d : (S*)(42) == (S*)(42); // \ 309244ee7b89a483fd3764637abdf95de2893b437d0Richard Smith expected-warning {{not an integral constant expression}} \ 31060f24e781484250d3602261477d16321db7a157bRichard Smith expected-note {{cast which performs the conversions of a reinterpret_cast is not allowed in a constant expression}} 311c216a01c96d83bd9a90e214af64913e93d39aaccRichard Smith int e : (Str*)(sptr) == (Str*)(sptr); // \ 312244ee7b89a483fd3764637abdf95de2893b437d0Richard Smith expected-warning {{not an integral constant expression}} \ 31360f24e781484250d3602261477d16321db7a157bRichard Smith expected-note {{cast which performs the conversions of a reinterpret_cast is not allowed in a constant expression}} 3142fd5983e0da447291a651a347c206aee37a1de5fRichard Smith int f : &(U&)(*sptr) == &(U&)(*sptr); // \ 315244ee7b89a483fd3764637abdf95de2893b437d0Richard Smith expected-warning {{not an integral constant expression}} \ 31660f24e781484250d3602261477d16321db7a157bRichard Smith expected-note {{cast which performs the conversions of a reinterpret_cast is not allowed in a constant expression}} 317c216a01c96d83bd9a90e214af64913e93d39aaccRichard Smith int g : (S*)(void*)(sptr) == sptr; // \ 318244ee7b89a483fd3764637abdf95de2893b437d0Richard Smith expected-warning {{not an integral constant expression}} \ 3194cd9b8f7fb2cebf614e6e2bc766fad27ffd2e9deRichard Smith expected-note {{cast from 'void *' is not allowed in a constant expression}} 320c216a01c96d83bd9a90e214af64913e93d39aaccRichard Smith}; 321c216a01c96d83bd9a90e214af64913e93d39aaccRichard Smith 32259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithextern char externalvar[]; 3239eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithconstexpr bool constaddress = (void *)externalvar == (void *)0x4000UL; // expected-error {{must be initialized by a constant expression}} 32459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr bool litaddress = "foo" == "foo"; // expected-error {{must be initialized by a constant expression}} expected-warning {{unspecified}} 3259eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(0 != "foo", ""); 32659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 32759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 32859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 32959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace MaterializeTemporary { 33059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 33159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int f(const int &r) { return r; } 33259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int n = f(1); 33359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 33459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr bool same(const int &a, const int &b) { return &a == &b; } 33559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr bool sameTemporary(const int &n) { return same(n, n); } 33659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 3379eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(n, ""); 3389eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(!same(4, 4), ""); 3399eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(same(n, n), ""); 3409eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(sameTemporary(9), ""); 34159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 34259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 34359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 34459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int strcmp_ce(const char *p, const char *q) { 34559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return (!*p || *p != *q) ? *p - *q : strcmp_ce(p+1, q+1); 34659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 34759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 34859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace StringLiteral { 34959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 3501d238ea926bbdd04356ce475934fcd4cac654c4bRichard Smithtemplate<typename Char> 3511d238ea926bbdd04356ce475934fcd4cac654c4bRichard Smithconstexpr int MangleChars(const Char *p) { 35259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return *p + 3 * (*p ? MangleChars(p+1) : 0); 35359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 35459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 3559eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(MangleChars("constexpr!") == 1768383, ""); 356ec789163a42a7be654ac34aadb750b508954d53cRichard Smithstatic_assert(MangleChars(u8"constexpr!") == 1768383, ""); 357ec789163a42a7be654ac34aadb750b508954d53cRichard Smithstatic_assert(MangleChars(L"constexpr!") == 1768383, ""); 3589eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(MangleChars(u"constexpr!") == 1768383, ""); 3599eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(MangleChars(U"constexpr!") == 1768383, ""); 36059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 36159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr char c0 = "nought index"[0]; 36259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr char c1 = "nice index"[10]; 3637098cbd601ad915aed22d4b5850da99359f25bf3Richard Smithconstexpr char c2 = "nasty index"[12]; // expected-error {{must be initialized by a constant expression}} expected-warning {{is past the end}} expected-note {{read of dereferenced one-past-the-end pointer}} 364b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smithconstexpr char c3 = "negative index"[-1]; // expected-error {{must be initialized by a constant expression}} expected-warning {{is before the beginning}} expected-note {{cannot refer to element -1 of array of 15 elements}} 365b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smithconstexpr char c4 = ((char*)(int*)"no reinterpret_casts allowed")[14]; // expected-error {{must be initialized by a constant expression}} expected-note {{cast which performs the conversions of a reinterpret_cast}} 36659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 36759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr const char *p = "test" + 2; 3689eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(*p == 's', ""); 36959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 37059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr const char *max_iter(const char *a, const char *b) { 37159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return *a < *b ? b : a; 37259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 37359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr const char *max_element(const char *a, const char *b) { 37459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return (a+1 >= b) ? a : max_iter(a, max_element(a+1, b)); 37559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 37659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 37759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr char str[] = "the quick brown fox jumped over the lazy dog"; 37859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr const char *max = max_element(begin(str), end(str)); 3799eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(*max == 'z', ""); 3809eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(max == str + 38, ""); 38159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 3829eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(strcmp_ce("hello world", "hello world") == 0, ""); 3839eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(strcmp_ce("hello world", "hello clang") > 0, ""); 3849eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(strcmp_ce("constexpr", "test") < 0, ""); 3859eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(strcmp_ce("", " ") < 0, ""); 38659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 3877098cbd601ad915aed22d4b5850da99359f25bf3Richard Smithstruct S { 3887098cbd601ad915aed22d4b5850da99359f25bf3Richard Smith int n : "foo"[4]; // expected-error {{constant expression}} expected-note {{read of dereferenced one-past-the-end pointer is not allowed in a constant expression}} 3897098cbd601ad915aed22d4b5850da99359f25bf3Richard Smith}; 3907098cbd601ad915aed22d4b5850da99359f25bf3Richard Smith 391974c5f93d0ce4f0699a6f0a4402f6b367da495e3Richard Smithstruct T { 392974c5f93d0ce4f0699a6f0a4402f6b367da495e3Richard Smith char c[6]; 393974c5f93d0ce4f0699a6f0a4402f6b367da495e3Richard Smith constexpr T() : c{"foo"} {} 394974c5f93d0ce4f0699a6f0a4402f6b367da495e3Richard Smith}; 395974c5f93d0ce4f0699a6f0a4402f6b367da495e3Richard Smithconstexpr T t; 396974c5f93d0ce4f0699a6f0a4402f6b367da495e3Richard Smith 397974c5f93d0ce4f0699a6f0a4402f6b367da495e3Richard Smithstatic_assert(t.c[0] == 'f', ""); 398974c5f93d0ce4f0699a6f0a4402f6b367da495e3Richard Smithstatic_assert(t.c[1] == 'o', ""); 399974c5f93d0ce4f0699a6f0a4402f6b367da495e3Richard Smithstatic_assert(t.c[2] == 'o', ""); 400974c5f93d0ce4f0699a6f0a4402f6b367da495e3Richard Smithstatic_assert(t.c[3] == 0, ""); 401974c5f93d0ce4f0699a6f0a4402f6b367da495e3Richard Smithstatic_assert(t.c[4] == 0, ""); 402974c5f93d0ce4f0699a6f0a4402f6b367da495e3Richard Smithstatic_assert(t.c[5] == 0, ""); 403974c5f93d0ce4f0699a6f0a4402f6b367da495e3Richard Smithstatic_assert(t.c[6] == 0, ""); // expected-error {{constant expression}} expected-note {{one-past-the-end}} 404974c5f93d0ce4f0699a6f0a4402f6b367da495e3Richard Smith 405ec789163a42a7be654ac34aadb750b508954d53cRichard Smithstruct U { 406ec789163a42a7be654ac34aadb750b508954d53cRichard Smith wchar_t chars[6]; 407ec789163a42a7be654ac34aadb750b508954d53cRichard Smith int n; 408ec789163a42a7be654ac34aadb750b508954d53cRichard Smith} constexpr u = { { L"test" }, 0 }; 409ec789163a42a7be654ac34aadb750b508954d53cRichard Smithstatic_assert(u.chars[2] == L's', ""); 410ec789163a42a7be654ac34aadb750b508954d53cRichard Smith 411f3908f2ae111b1b12ade2524dda71c669ed6f121Richard Smithstruct V { 412f3908f2ae111b1b12ade2524dda71c669ed6f121Richard Smith char c[4]; 413f3908f2ae111b1b12ade2524dda71c669ed6f121Richard Smith constexpr V() : c("hi!") {} 414f3908f2ae111b1b12ade2524dda71c669ed6f121Richard Smith}; 415f3908f2ae111b1b12ade2524dda71c669ed6f121Richard Smithstatic_assert(V().c[1] == "i"[0], ""); 416f3908f2ae111b1b12ade2524dda71c669ed6f121Richard Smith 41759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 41859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 41959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace Array { 42059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 4211d238ea926bbdd04356ce475934fcd4cac654c4bRichard Smithtemplate<typename Iter> 4221d238ea926bbdd04356ce475934fcd4cac654c4bRichard Smithconstexpr auto Sum(Iter begin, Iter end) -> decltype(+*begin) { 42359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return begin == end ? 0 : *begin + Sum(begin+1, end); 42459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 42559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 42659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int xs[] = { 1, 2, 3, 4, 5 }; 42759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int ys[] = { 5, 4, 3, 2, 1 }; 42859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int sum_xs = Sum(begin(xs), end(xs)); 4299eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(sum_xs == 15, ""); 43059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 43159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int ZipFoldR(int (*F)(int x, int y, int c), int n, 43259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith const int *xs, const int *ys, int c) { 433daaefc5381f9aafbb1cb6f88fb5ac6aaf34d65bfRichard Smith return n ? F( 4347098cbd601ad915aed22d4b5850da99359f25bf3Richard Smith *xs, // expected-note {{read of dereferenced one-past-the-end pointer}} 43508d6e032a2a0a8656d12b3b7b93942987bb12eb7Richard Smith *ys, 43608d6e032a2a0a8656d12b3b7b93942987bb12eb7Richard Smith ZipFoldR(F, n-1, xs+1, ys+1, c)) // \ 43708d6e032a2a0a8656d12b3b7b93942987bb12eb7Richard Smith expected-note {{in call to 'ZipFoldR(&SubMul, 2, &xs[4], &ys[4], 1)'}} \ 43808d6e032a2a0a8656d12b3b7b93942987bb12eb7Richard Smith expected-note {{in call to 'ZipFoldR(&SubMul, 1, &xs[5], &ys[5], 1)'}} 43908d6e032a2a0a8656d12b3b7b93942987bb12eb7Richard Smith : c; 44059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 44159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int MulAdd(int x, int y, int c) { return x * y + c; } 44259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int InnerProduct = ZipFoldR(MulAdd, 5, xs, ys, 0); 4439eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(InnerProduct == 35, ""); 44459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 44559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int SubMul(int x, int y, int c) { return (x - y) * c; } 44659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int DiffProd = ZipFoldR(SubMul, 2, xs+3, ys+3, 1); 4479eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(DiffProd == 8, ""); 44808d6e032a2a0a8656d12b3b7b93942987bb12eb7Richard Smithstatic_assert(ZipFoldR(SubMul, 3, xs+3, ys+3, 1), ""); // \ 44908d6e032a2a0a8656d12b3b7b93942987bb12eb7Richard Smith expected-error {{constant expression}} \ 45008d6e032a2a0a8656d12b3b7b93942987bb12eb7Richard Smith expected-note {{in call to 'ZipFoldR(&SubMul, 3, &xs[3], &ys[3], 1)'}} 45159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 45259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr const int *p = xs + 3; 45359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int xs4 = p[1]; // ok 4547098cbd601ad915aed22d4b5850da99359f25bf3Richard Smithconstexpr int xs5 = p[2]; // expected-error {{constant expression}} expected-note {{read of dereferenced one-past-the-end pointer}} 455b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smithconstexpr int xs6 = p[3]; // expected-error {{constant expression}} expected-note {{cannot refer to element 6}} 45659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int xs0 = p[-3]; // ok 457b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smithconstexpr int xs_1 = p[-4]; // expected-error {{constant expression}} expected-note {{cannot refer to element -1}} 45859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 45959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int zs[2][2][2][2] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16 }; 4609eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(zs[0][0][0][0] == 1, ""); 4619eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(zs[1][1][1][1] == 16, ""); 4627098cbd601ad915aed22d4b5850da99359f25bf3Richard Smithstatic_assert(zs[0][0][0][2] == 3, ""); // expected-error {{constant expression}} expected-note {{read of dereferenced one-past-the-end pointer}} 4639eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert((&zs[0][0][0][2])[-1] == 2, ""); 4649eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(**(**(zs + 1) + 1) == 11, ""); 465b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smithstatic_assert(*(&(&(*(*&(&zs[2] - 1)[0] + 2 - 2))[2])[-1][-1] + 1) == 11, ""); // expected-error {{constant expression}} expected-note {{cannot refer to element -1 of array of 2 elements in a constant expression}} 466b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smithstatic_assert(*(&(&(*(*&(&zs[2] - 1)[0] + 2 - 2))[2])[-1][2] - 2) == 11, ""); 467b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smithconstexpr int err_zs_1_2_0_0 = zs[1][2][0][0]; // expected-error {{constant expression}} expected-note {{cannot access array element of pointer past the end}} 46859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 46908d6e032a2a0a8656d12b3b7b93942987bb12eb7Richard Smithconstexpr int fail(const int &p) { 470b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smith return (&p)[64]; // expected-note {{cannot refer to element 64 of array of 2 elements}} 47108d6e032a2a0a8656d12b3b7b93942987bb12eb7Richard Smith} 472b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smithstatic_assert(fail(*(&(&(*(*&(&zs[2] - 1)[0] + 2 - 2))[2])[-1][2] - 2)) == 11, ""); // \ 47308d6e032a2a0a8656d12b3b7b93942987bb12eb7Richard Smithexpected-error {{static_assert expression is not an integral constant expression}} \ 47408d6e032a2a0a8656d12b3b7b93942987bb12eb7Richard Smithexpected-note {{in call to 'fail(zs[1][0][1][0])'}} 47508d6e032a2a0a8656d12b3b7b93942987bb12eb7Richard Smith 476d7c56e1114bfe7d461786903bb720d2c6efc05a1Richard Smithconstexpr int arr[40] = { 1, 2, 3, [8] = 4 }; // expected-warning {{C99 feature}} 47759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int SumNonzero(const int *p) { 47859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return *p + (*p ? SumNonzero(p+1) : 0); 47959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 48059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int CountZero(const int *p, const int *q) { 48159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return p == q ? 0 : (*p == 0) + CountZero(p+1, q); 48259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 4839eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(SumNonzero(arr) == 6, ""); 4849eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(CountZero(arr, arr + 40) == 36, ""); 48559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 486e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smithstruct ArrayElem { 487e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr ArrayElem() : n(0) {} 488e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith int n; 489e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr int f() { return n; } 490e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith}; 491e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smithstruct ArrayRVal { 492e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr ArrayRVal() {} 493e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith ArrayElem elems[10]; 494e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith}; 4959eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(ArrayRVal().elems[3].f() == 0, ""); 496e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 497de31aa7f0ef71f5c162372e319cbc03c0924f074Richard Smithconstexpr int selfref[2][2][2] = { 498de31aa7f0ef71f5c162372e319cbc03c0924f074Richard Smith selfref[1][1][1] + 1, selfref[0][0][0] + 1, 499de31aa7f0ef71f5c162372e319cbc03c0924f074Richard Smith selfref[1][0][1] + 1, selfref[0][1][0] + 1, 500de31aa7f0ef71f5c162372e319cbc03c0924f074Richard Smith selfref[1][0][0] + 1, selfref[0][1][1] + 1 }; 501de31aa7f0ef71f5c162372e319cbc03c0924f074Richard Smithstatic_assert(selfref[0][0][0] == 1, ""); 502de31aa7f0ef71f5c162372e319cbc03c0924f074Richard Smithstatic_assert(selfref[0][0][1] == 2, ""); 503de31aa7f0ef71f5c162372e319cbc03c0924f074Richard Smithstatic_assert(selfref[0][1][0] == 1, ""); 504de31aa7f0ef71f5c162372e319cbc03c0924f074Richard Smithstatic_assert(selfref[0][1][1] == 2, ""); 505de31aa7f0ef71f5c162372e319cbc03c0924f074Richard Smithstatic_assert(selfref[1][0][0] == 1, ""); 506de31aa7f0ef71f5c162372e319cbc03c0924f074Richard Smithstatic_assert(selfref[1][0][1] == 3, ""); 507de31aa7f0ef71f5c162372e319cbc03c0924f074Richard Smithstatic_assert(selfref[1][1][0] == 0, ""); 508de31aa7f0ef71f5c162372e319cbc03c0924f074Richard Smithstatic_assert(selfref[1][1][1] == 0, ""); 509de31aa7f0ef71f5c162372e319cbc03c0924f074Richard Smith 510a4334dffde250c22c339a974a7131914fe723180Richard Smithstruct TrivialDefCtor { int n; }; 511a4334dffde250c22c339a974a7131914fe723180Richard Smithtypedef TrivialDefCtor TDCArray[2][2]; 512a4334dffde250c22c339a974a7131914fe723180Richard Smithstatic_assert(TDCArray{}[1][1].n == 0, ""); 513a4334dffde250c22c339a974a7131914fe723180Richard Smith 514a4334dffde250c22c339a974a7131914fe723180Richard Smithstruct NonAggregateTDC : TrivialDefCtor {}; 515a4334dffde250c22c339a974a7131914fe723180Richard Smithtypedef NonAggregateTDC NATDCArray[2][2]; 516a4334dffde250c22c339a974a7131914fe723180Richard Smithstatic_assert(NATDCArray{}[1][1].n == 0, ""); 517a4334dffde250c22c339a974a7131914fe723180Richard Smith 51859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 51959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 52059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace DependentValues { 52159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 52259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithstruct I { int n; typedef I V[10]; }; 52359efe266b804330f4c1f3a1b0ff783e67dd90378Richard SmithI::V x, y; 52459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithtemplate<bool B> struct S { 52559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith int k; 52659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith void f() { 52759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith I::V &cells = B ? x : y; 52859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith I &i = cells[k]; 52959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith switch (i.n) {} 53059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } 53159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith}; 53259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 53359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 53459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 53559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace Class { 53659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 53759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithstruct A { constexpr A(int a, int b) : k(a + b) {} int k; }; 53859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int fn(const A &a) { return a.k; } 5399eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(fn(A(4,5)) == 9, ""); 54059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 54159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithstruct B { int n; int m; } constexpr b = { 0, b.n }; // expected-warning {{uninitialized}} 54259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithstruct C { 54359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr C(C *this_) : m(42), n(this_->m) {} // ok 54459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith int m, n; 54559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith}; 54659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithstruct D { 54759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith C c; 54859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr D() : c(&c) {} 54959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith}; 5509eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(D().c.n == 42, ""); 55159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 5526180245e9f63d2927b185ec251fb75aba30f1cacRichard Smithstruct E { 55383587db1bda97f45d2b5a4189e584e2a18be511aRichard Smith constexpr E() : p(&p) {} 55459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith void *p; 55559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith}; 55683587db1bda97f45d2b5a4189e584e2a18be511aRichard Smithconstexpr const E &e1 = E(); // expected-error {{constant expression}} expected-note {{reference to temporary is not a constant expression}} expected-note {{temporary created here}} 55759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith// This is a constant expression if we elide the copy constructor call, and 55859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith// is not a constant expression if we don't! But we do, so it is. 5596180245e9f63d2927b185ec251fb75aba30f1cacRichard Smithconstexpr E e2 = E(); 5606180245e9f63d2927b185ec251fb75aba30f1cacRichard Smithstatic_assert(e2.p == &e2.p, ""); 561099e7f647ccda915513f2b2ec53352dc756082d3Richard Smithconstexpr E e3; 5629eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(e3.p == &e3.p, ""); 56359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 56459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithextern const class F f; 56559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithstruct F { 56659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr F() : p(&f.p) {} 56759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith const void *p; 56859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith}; 569099e7f647ccda915513f2b2ec53352dc756082d3Richard Smithconstexpr F f; 57059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 57159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithstruct G { 57259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith struct T { 57359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr T(T *p) : u1(), u2(p) {} 57459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith union U1 { 57559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr U1() {} 57659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith int a, b = 42; 57759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } u1; 57859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith union U2 { 57959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr U2(T *p) : c(p->u1.b) {} 58059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith int c, d; 58159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } u2; 58259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } t; 58359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr G() : t(&t) {} 58459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} constexpr g; 58559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 5867098cbd601ad915aed22d4b5850da99359f25bf3Richard Smithstatic_assert(g.t.u1.a == 42, ""); // expected-error {{constant expression}} expected-note {{read of member 'a' of union with active member 'b'}} 5879eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(g.t.u1.b == 42, ""); 5889eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(g.t.u2.c == 42, ""); 5897098cbd601ad915aed22d4b5850da99359f25bf3Richard Smithstatic_assert(g.t.u2.d == 42, ""); // expected-error {{constant expression}} expected-note {{read of member 'd' of union with active member 'c'}} 59059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 59159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithstruct S { 59259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith int a, b; 59359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith const S *p; 59459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith double d; 59559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith const char *q; 59659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 59759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr S(int n, const S *p) : a(5), b(n), p(p), d(n), q("hello") {} 59859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith}; 59959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 60059efe266b804330f4c1f3a1b0ff783e67dd90378Richard SmithS global(43, &global); 60159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 6029eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(S(15, &global).b == 15, ""); 60359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 60459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr bool CheckS(const S &s) { 60559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return s.a == 5 && s.b == 27 && s.p == &global && s.d == 27. && s.q[3] == 'l'; 60659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 6079eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(CheckS(S(27, &global)), ""); 60859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 60959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithstruct Arr { 61059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith char arr[3]; 61159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr Arr() : arr{'x', 'y', 'z'} {} 61259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith}; 61359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int hash(Arr &&a) { 61459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return a.arr[0] + a.arr[1] * 0x100 + a.arr[2] * 0x10000; 61559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 61659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr int k = hash(Arr()); 6179eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(k == 0x007a7978, ""); 61859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 61959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 62059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithstruct AggregateInit { 62159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith const char &c; 62259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith int n; 62359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith double d; 62459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith int arr[5]; 62559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith void *p; 62659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith}; 62759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 62859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr AggregateInit agg1 = { "hello"[0] }; 62959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 6309eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(strcmp_ce(&agg1.c, "hello") == 0, ""); 6319eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(agg1.n == 0, ""); 6329eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(agg1.d == 0.0, ""); 633b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smithstatic_assert(agg1.arr[-1] == 0, ""); // expected-error {{constant expression}} expected-note {{cannot refer to element -1}} 6349eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(agg1.arr[0] == 0, ""); 6359eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(agg1.arr[4] == 0, ""); 6367098cbd601ad915aed22d4b5850da99359f25bf3Richard Smithstatic_assert(agg1.arr[5] == 0, ""); // expected-error {{constant expression}} expected-note {{read of dereferenced one-past-the-end}} 6379eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(agg1.p == nullptr, ""); 63859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 639fe587201feaebc69e6d18858bea85c77926b6ecfRichard Smithstatic constexpr const unsigned char uc[] = { "foo" }; 640fe587201feaebc69e6d18858bea85c77926b6ecfRichard Smithstatic_assert(uc[0] == 'f', ""); 641fe587201feaebc69e6d18858bea85c77926b6ecfRichard Smithstatic_assert(uc[3] == 0, ""); 642fe587201feaebc69e6d18858bea85c77926b6ecfRichard Smith 64359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace SimpleDerivedClass { 64459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 64559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithstruct B { 64659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr B(int n) : a(n) {} 64759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith int a; 64859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith}; 64959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithstruct D : B { 65059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr D(int n) : B(n) {} 65159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith}; 65259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr D d(3); 6539eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(d.a == 3, ""); 65459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 65559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 65659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 657e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smithstruct Bottom { constexpr Bottom() {} }; 658e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smithstruct Base : Bottom { 65959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr Base(int a = 42, const char *b = "test") : a(a), b(b) {} 66059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith int a; 66159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith const char *b; 66259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith}; 663e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smithstruct Base2 : Bottom { 66459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr Base2(const int &r) : r(r) {} 66559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith int q = 123; 666099e7f647ccda915513f2b2ec53352dc756082d3Richard Smith const int &r; 66759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith}; 66859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithstruct Derived : Base, Base2 { 66959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr Derived() : Base(76), Base2(a) {} 67059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith int c = r + b[1]; 67159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith}; 67259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 67359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr bool operator==(const Base &a, const Base &b) { 67459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return a.a == b.a && strcmp_ce(a.b, b.b) == 0; 67559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 67659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 67759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr Base base; 67859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr Base base2(76); 67959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr Derived derived; 6809eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(derived.a == 76, ""); 6819eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(derived.b[2] == 's', ""); 6829eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(derived.c == 76 + 'e', ""); 6839eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(derived.q == 123, ""); 6849eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(derived.r == 76, ""); 685099e7f647ccda915513f2b2ec53352dc756082d3Richard Smithstatic_assert(&derived.r == &derived.a, ""); 68659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 6879eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(!(derived == base), ""); 6889eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(derived == base2, ""); 68959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 690e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smithconstexpr Bottom &bot1 = (Base&)derived; 691e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smithconstexpr Bottom &bot2 = (Base2&)derived; 6929eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(&bot1 != &bot2, ""); 693e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 694e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smithconstexpr Bottom *pb1 = (Base*)&derived; 695e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smithconstexpr Bottom *pb2 = (Base2*)&derived; 696f15fda02e9c8c82b4a716618f4010b9af8bff796Richard Smithstatic_assert(&pb1 != &pb2, ""); 6979eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(pb1 == &bot1, ""); 6989eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(pb2 == &bot2, ""); 699e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 700b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smithconstexpr Base2 &fail = (Base2&)bot1; // expected-error {{constant expression}} expected-note {{cannot cast object of dynamic type 'const Class::Derived' to type 'Class::Base2'}} 701b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smithconstexpr Base &fail2 = (Base&)*pb2; // expected-error {{constant expression}} expected-note {{cannot cast object of dynamic type 'const Class::Derived' to type 'Class::Base'}} 702e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smithconstexpr Base2 &ok2 = (Base2&)bot2; 7039eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(&ok2 == &derived, ""); 704e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 705b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smithconstexpr Base2 *pfail = (Base2*)pb1; // expected-error {{constant expression}} expected-note {{cannot cast object of dynamic type 'const Class::Derived' to type 'Class::Base2'}} 706b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smithconstexpr Base *pfail2 = (Base*)&bot2; // expected-error {{constant expression}} expected-note {{cannot cast object of dynamic type 'const Class::Derived' to type 'Class::Base'}} 707e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smithconstexpr Base2 *pok2 = (Base2*)pb2; 7089eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(pok2 == &derived, ""); 7099eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(&ok2 == pok2, ""); 7109eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert((Base2*)(Derived*)(Base*)pb1 == pok2, ""); 7119eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert((Derived*)(Base*)pb1 == (Derived*)pok2, ""); 712e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 71350800fc551ac6b8a95cca662223e7f061bbd169aDavid Blaikieconstexpr Base *nullB = 42 - 6 * 7; // expected-warning {{expression which evaluates to zero treated as a null pointer constant of type 'Class::Base *const'}} 7149eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert((Bottom*)nullB == 0, ""); 7159eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert((Derived*)nullB == 0, ""); 7169eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert((void*)(Bottom*)nullB == (void*)(Derived*)nullB, ""); 71750800fc551ac6b8a95cca662223e7f061bbd169aDavid BlaikieBase * nullB2 = '\0'; // expected-warning {{expression which evaluates to zero treated as a null pointer constant of type 'Class::Base *'}} 71850800fc551ac6b8a95cca662223e7f061bbd169aDavid BlaikieBase * nullB3 = (0); 71950800fc551ac6b8a95cca662223e7f061bbd169aDavid Blaikie// We suppress the warning in unevaluated contexts to workaround some gtest 72050800fc551ac6b8a95cca662223e7f061bbd169aDavid Blaikie// behavior. Once this becomes an error this isn't a problem anymore. 72150800fc551ac6b8a95cca662223e7f061bbd169aDavid Blaikiestatic_assert(nullB == (1 - 1), ""); 72250800fc551ac6b8a95cca662223e7f061bbd169aDavid Blaikie 723e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 7247d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smithnamespace ConversionOperators { 7257d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smith 7267d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smithstruct T { 7277d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smith constexpr T(int n) : k(5*n - 3) {} 7287d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smith constexpr operator int() { return k; } 7297d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smith int k; 7307d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smith}; 7317d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smith 7327d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smithstruct S { 7337d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smith constexpr S(int n) : k(2*n + 1) {} 7347d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smith constexpr operator int() { return k; } 7357d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smith constexpr operator T() { return T(k); } 7367d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smith int k; 7377d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smith}; 7387d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smith 7397d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smithconstexpr bool check(T a, T b) { return a == b.k; } 7407d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smith 7417d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smithstatic_assert(S(5) == 11, ""); 7427d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smithstatic_assert(check(S(5), 11), ""); 7437d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smith 7447d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smith} 7457d580a4e9e47dffc3c17aa2b957ac57ca3c4e451Richard Smith 746e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith} 747e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 748e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smithnamespace Temporaries { 749e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 750e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smithstruct S { 751e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr S() {} 752e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr int f(); 753e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith}; 754e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smithstruct T : S { 755e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr T(int n) : S(), n(n) {} 756e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith int n; 757e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith}; 758e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smithconstexpr int S::f() { 759e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith // 'this' must be the postfix-expression in a class member access expression, 760e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith // so we can't just use 761e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith // return static_cast<T*>(this)->n; 762e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith return this->*(int(S::*))&T::n; 763e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith} 764e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith// The T temporary is implicitly cast to an S subobject, but we can recover the 765e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith// T full-object via a base-to-derived cast, or a derived-to-base-casted member 766e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith// pointer. 7679eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(T(3).f() == 3, ""); 768e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 769e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smithconstexpr int f(const S &s) { 770e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith return static_cast<const T&>(s).n; 771e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith} 772e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smithconstexpr int n = f(T(5)); 7739eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(f(T(5)) == 5, ""); 774e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 775f2e4cd760a5836ee8941d1b9be6b2e2c2dde23e6Richard Smithconstexpr bool b(int n) { return &n; } 776f2e4cd760a5836ee8941d1b9be6b2e2c2dde23e6Richard Smithstatic_assert(b(0), ""); 777f2e4cd760a5836ee8941d1b9be6b2e2c2dde23e6Richard Smith 77859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 77959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 78059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace Union { 78159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 78259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithunion U { 78359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith int a; 78459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith int b; 78559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith}; 78659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 787d7c56e1114bfe7d461786903bb720d2c6efc05a1Richard Smithconstexpr U u[4] = { { .a = 0 }, { .b = 1 }, { .a = 2 }, { .b = 3 } }; // expected-warning 4{{C99 feature}} 7889eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(u[0].a == 0, ""); 7897098cbd601ad915aed22d4b5850da99359f25bf3Richard Smithstatic_assert(u[0].b, ""); // expected-error {{constant expression}} expected-note {{read of member 'b' of union with active member 'a'}} 7909eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(u[1].b == 1, ""); 7917098cbd601ad915aed22d4b5850da99359f25bf3Richard Smithstatic_assert((&u[1].b)[1] == 2, ""); // expected-error {{constant expression}} expected-note {{read of dereferenced one-past-the-end pointer}} 792b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smithstatic_assert(*(&(u[1].b) + 1 + 1) == 3, ""); // expected-error {{constant expression}} expected-note {{cannot refer to element 2 of non-array object}} 7939eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert((&(u[1]) + 1 + 1)->b == 3, ""); 79459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 795ec789163a42a7be654ac34aadb750b508954d53cRichard Smithconstexpr U v = {}; 796ec789163a42a7be654ac34aadb750b508954d53cRichard Smithstatic_assert(v.a == 0, ""); 797ec789163a42a7be654ac34aadb750b508954d53cRichard Smith 798ec789163a42a7be654ac34aadb750b508954d53cRichard Smithunion Empty {}; 799ec789163a42a7be654ac34aadb750b508954d53cRichard Smithconstexpr Empty e = {}; 800ec789163a42a7be654ac34aadb750b508954d53cRichard Smith 801610a60c0e68e34db5a5247d6102e58f37510fef8Richard Smith// Make sure we handle trivial copy constructors for unions. 802610a60c0e68e34db5a5247d6102e58f37510fef8Richard Smithconstexpr U x = {42}; 803610a60c0e68e34db5a5247d6102e58f37510fef8Richard Smithconstexpr U y = x; 804610a60c0e68e34db5a5247d6102e58f37510fef8Richard Smithstatic_assert(y.a == 42, ""); 805610a60c0e68e34db5a5247d6102e58f37510fef8Richard Smithstatic_assert(y.b == 42, ""); // expected-error {{constant expression}} expected-note {{'b' of union with active member 'a'}} 806610a60c0e68e34db5a5247d6102e58f37510fef8Richard Smith 80759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 80859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 809e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smithnamespace MemberPointer { 810e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith struct A { 811e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr A(int n) : n(n) {} 812e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith int n; 813e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr int f() { return n + 3; } 814e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith }; 815e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr A a(7); 8169eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(A(5).*&A::n == 5, ""); 8179eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((&a)->*&A::n == 7, ""); 8189eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((A(8).*&A::f)() == 11, ""); 8199eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(((&a)->*&A::f)() == 10, ""); 820e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 821e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith struct B : A { 822e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr B(int n, int m) : A(n), m(m) {} 823e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith int m; 824e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr int g() { return n + m + 1; } 825e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith }; 826e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr B b(9, 13); 8279eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(B(4, 11).*&A::n == 4, ""); 8289eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(B(4, 11).*&B::m == 11, ""); 8299eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(B(4, 11).*(int(A::*))&B::m == 11, ""); 8309eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((&b)->*&A::n == 9, ""); 8319eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((&b)->*&B::m == 13, ""); 8329eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((&b)->*(int(A::*))&B::m == 13, ""); 8339eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((B(4, 11).*&A::f)() == 7, ""); 8349eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((B(4, 11).*&B::g)() == 16, ""); 8359eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((B(4, 11).*(int(A::*)()const)&B::g)() == 16, ""); 8369eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(((&b)->*&A::f)() == 12, ""); 8379eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(((&b)->*&B::g)() == 23, ""); 8389eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(((&b)->*(int(A::*)()const)&B::g)() == 23, ""); 839e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 840e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith struct S { 841e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr S(int m, int n, int (S::*pf)() const, int S::*pn) : 842e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith m(m), n(n), pf(pf), pn(pn) {} 843e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr S() : m(), n(), pf(&S::f), pn(&S::n) {} 844e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 845e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr int f() { return this->*pn; } 846e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith virtual int g() const; 847e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 848e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith int m, n; 849e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith int (S::*pf)() const; 850e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith int S::*pn; 851e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith }; 852e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 853e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr int S::*pm = &S::m; 854e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr int S::*pn = &S::n; 855e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr int (S::*pf)() const = &S::f; 856e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr int (S::*pg)() const = &S::g; 857e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 858e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr S s(2, 5, &S::f, &S::m); 859e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 8609eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((s.*&S::f)() == 2, ""); 8619eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((s.*s.pf)() == 2, ""); 862e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 863b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith static_assert(pf == &S::f, ""); 864b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith static_assert(pf == s.*&S::pf, ""); 865b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith static_assert(pm == &S::m, ""); 866b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith static_assert(pm != pn, ""); 867b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith static_assert(s.pn != pn, ""); 868b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith static_assert(s.pn == pm, ""); 869b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith static_assert(pg != nullptr, ""); 870b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith static_assert(pf != nullptr, ""); 871b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith static_assert((int S::*)nullptr == nullptr, ""); 872b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith static_assert(pg == pg, ""); // expected-error {{constant expression}} expected-note {{comparison of pointer to virtual member function 'g' has unspecified value}} 873b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith static_assert(pf != pg, ""); // expected-error {{constant expression}} expected-note {{comparison of pointer to virtual member function 'g' has unspecified value}} 874b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith 875e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith template<int n> struct T : T<n-1> {}; 876e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith template<> struct T<0> { int n; }; 877e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith template<> struct T<30> : T<29> { int m; }; 878e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 879e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith T<17> t17; 880e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith T<30> t30; 881e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 882e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr int (T<10>::*deepn) = &T<0>::n; 8839eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(&(t17.*deepn) == &t17.n, ""); 884b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith static_assert(deepn == &T<2>::n, ""); 885e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 886e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr int (T<15>::*deepm) = (int(T<10>::*))&T<30>::m; 887e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr int *pbad = &(t17.*deepm); // expected-error {{constant expression}} 8889eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(&(t30.*deepm) == &t30.m, ""); 889b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith static_assert(deepm == &T<50>::m, ""); 890b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith static_assert(deepm != deepn, ""); 891e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 892e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr T<5> *p17_5 = &t17; 893e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr T<13> *p17_13 = (T<13>*)p17_5; 894b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smith constexpr T<23> *p17_23 = (T<23>*)p17_13; // expected-error {{constant expression}} expected-note {{cannot cast object of dynamic type 'T<17>' to type 'T<23>'}} 8959eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(&(p17_5->*(int(T<3>::*))deepn) == &t17.n, ""); 8969eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(&(p17_13->*deepn) == &t17.n, ""); 897e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr int *pbad2 = &(p17_13->*(int(T<9>::*))deepm); // expected-error {{constant expression}} 898e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 899e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr T<5> *p30_5 = &t30; 900e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr T<23> *p30_23 = (T<23>*)p30_5; 901e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr T<13> *p30_13 = p30_23; 9029eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(&(p30_5->*(int(T<3>::*))deepn) == &t30.n, ""); 9039eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(&(p30_13->*deepn) == &t30.n, ""); 9049eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(&(p30_23->*deepn) == &t30.n, ""); 9059eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(&(p30_5->*(int(T<2>::*))deepm) == &t30.m, ""); 9069eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(&(((T<17>*)p30_13)->*deepm) == &t30.m, ""); 9079eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(&(p30_23->*deepm) == &t30.m, ""); 908b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith 909b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith struct Base { int n; }; 910b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith template<int N> struct Mid : Base {}; 911b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith struct Derived : Mid<0>, Mid<1> {}; 912b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith static_assert(&Mid<0>::n == &Mid<1>::n, ""); 913b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith static_assert((int Derived::*)(int Mid<0>::*)&Mid<0>::n != 914b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith (int Derived::*)(int Mid<1>::*)&Mid<1>::n, ""); 915b02e4629f78a0c0c0adf9d66b644e5932a781c7eRichard Smith static_assert(&Mid<0>::n == (int Mid<0>::*)&Base::n, ""); 916e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith} 917e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 918e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smithnamespace ArrayBaseDerived { 919e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 920e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith struct Base { 921e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr Base() {} 922e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith int n = 0; 923e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith }; 924e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith struct Derived : Base { 925e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr Derived() {} 926e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr const int *f() { return &n; } 927e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith }; 928e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 929e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr Derived a[10]; 930e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr Derived *pd3 = const_cast<Derived*>(&a[3]); 931e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr Base *pb3 = const_cast<Derived*>(&a[3]); 9329eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(pb3 == pd3, ""); 933e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 934e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith // pb3 does not point to an array element. 935e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr Base *pb4 = pb3 + 1; // ok, one-past-the-end pointer. 936b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smith constexpr int pb4n = pb4->n; // expected-error {{constant expression}} expected-note {{cannot access field of pointer past the end}} 937b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smith constexpr Base *err_pb5 = pb3 + 2; // expected-error {{constant expression}} expected-note {{cannot refer to element 2}} expected-note {{here}} 938b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smith constexpr int err_pb5n = err_pb5->n; // expected-error {{constant expression}} expected-note {{initializer of 'err_pb5' is not a constant expression}} 939b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smith constexpr Base *err_pb2 = pb3 - 1; // expected-error {{constant expression}} expected-note {{cannot refer to element -1}} expected-note {{here}} 940b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smith constexpr int err_pb2n = err_pb2->n; // expected-error {{constant expression}} expected-note {{initializer of 'err_pb2'}} 941e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr Base *pb3a = pb4 - 1; 942e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 943e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith // pb4 does not point to a Derived. 944b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smith constexpr Derived *err_pd4 = (Derived*)pb4; // expected-error {{constant expression}} expected-note {{cannot access derived class of pointer past the end}} 945e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr Derived *pd3a = (Derived*)pb3a; 946e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr int pd3n = pd3a->n; 947e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 948e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith // pd3a still points to the Derived array. 949e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr Derived *pd6 = pd3a + 3; 9509eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert(pd6 == &a[6], ""); 951e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr Derived *pd9 = pd6 + 3; 952e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr Derived *pd10 = pd6 + 4; 953e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr int pd9n = pd9->n; // ok 954b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smith constexpr int err_pd10n = pd10->n; // expected-error {{constant expression}} expected-note {{cannot access base class of pointer past the end}} 955e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr int pd0n = pd10[-10].n; 956b4e85ed51905fc94378d7b4ff62b06e0d08042b7Richard Smith constexpr int err_pdminus1n = pd10[-11].n; // expected-error {{constant expression}} expected-note {{cannot refer to element -1 of}} 957e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 958e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr Base *pb9 = pd9; 959e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith constexpr const int *(Base::*pfb)() const = 960e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith static_cast<const int *(Base::*)() const>(&Derived::f); 9619eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smith static_assert((pb9->*pfb)() == &a[9].n, ""); 962e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith} 963e24f5fc8c763f1b5536b8d70dd510ca959db3a80Richard Smith 96459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithnamespace Complex { 96559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 96659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithclass complex { 96759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith int re, im; 96859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithpublic: 96959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr complex(int re = 0, int im = 0) : re(re), im(im) {} 97059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr complex(const complex &o) : re(o.re), im(o.im) {} 97159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr complex operator-() const { return complex(-re, -im); } 97259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith friend constexpr complex operator+(const complex &l, const complex &r) { 97359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return complex(l.re + r.re, l.im + r.im); 97459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } 97559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith friend constexpr complex operator-(const complex &l, const complex &r) { 97659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return l + -r; 97759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } 97859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith friend constexpr complex operator*(const complex &l, const complex &r) { 97959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return complex(l.re * r.re - l.im * r.im, l.re * r.im + l.im * r.re); 98059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } 98159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith friend constexpr bool operator==(const complex &l, const complex &r) { 98259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return l.re == r.re && l.im == r.im; 98359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } 98459efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr bool operator!=(const complex &r) const { 98559efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return re != r.re || im != r.im; 98659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith } 98759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr int real() const { return re; } 98859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr int imag() const { return im; } 98959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith}; 99059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 99159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr complex i = complex(0, 1); 99259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr complex k = (3 + 4*i) * (6 - 4*i); 9939eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(complex(1,0).real() == 1, ""); 9949eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(complex(1,0).imag() == 0, ""); 9959eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(((complex)1).imag() == 0, ""); 9969eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(k.real() == 34, ""); 9979eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(k.imag() == 12, ""); 9989eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(k - 34 == 12*i, ""); 9999eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert((complex)1 == complex(1), ""); 10009eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert((complex)1 != complex(0, 1), ""); 10019eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(complex(1) == complex(1), ""); 10029eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(complex(1) != complex(0, 1), ""); 100359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr complex makeComplex(int re, int im) { return complex(re, im); } 10049eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(makeComplex(1,0) == complex(1), ""); 10059eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(makeComplex(1,0) != complex(0, 1), ""); 100659efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 100759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithclass complex_wrap : public complex { 100859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithpublic: 100959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr complex_wrap(int re, int im = 0) : complex(re, im) {} 101059efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith constexpr complex_wrap(const complex_wrap &o) : complex(o) {} 101159efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith}; 101259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 10139eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert((complex_wrap)1 == complex(1), ""); 10149eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert((complex)1 != complex_wrap(0, 1), ""); 10159eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(complex(1) == complex_wrap(1), ""); 10169eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(complex_wrap(1) != complex(0, 1), ""); 101759efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smithconstexpr complex_wrap makeComplexWrap(int re, int im) { 101859efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith return complex_wrap(re, im); 101959efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 10209eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(makeComplexWrap(1,0) == complex(1), ""); 10219eed49c2bb0f37bbfefefd0998b6303a686a66c0Richard Smithstatic_assert(makeComplexWrap(1,0) != complex(0, 1), ""); 102259efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith 102359efe266b804330f4c1f3a1b0ff783e67dd90378Richard Smith} 1024f59ff8c777379bd54137853a58c58b72fb869152Eli Friedman 1025f59ff8c777379bd54137853a58c58b72fb869152Eli Friedmannamespace PR11595 { 1026f59ff8c777379bd54137853a58c58b72fb869152Eli Friedman struct A { constexpr bool operator==(int x) { return true; } }; 1027af2c7a194592401394233b7cbcdd3cfd0a7a38ddRichard Smith struct B { B(); A& x; }; 1028af2c7a194592401394233b7cbcdd3cfd0a7a38ddRichard Smith static_assert(B().x == 3, ""); // expected-error {{constant expression}} expected-note {{non-literal type 'PR11595::B' cannot be used in a constant expression}} 1029af2c7a194592401394233b7cbcdd3cfd0a7a38ddRichard Smith 1030745f5147e065900267c85a5568785a1991d4838fRichard Smith constexpr bool f(int k) { // expected-error {{constexpr function never produces a constant expression}} 1031af2c7a194592401394233b7cbcdd3cfd0a7a38ddRichard Smith return B().x == k; // expected-note {{non-literal type 'PR11595::B' cannot be used in a constant expression}} 1032af2c7a194592401394233b7cbcdd3cfd0a7a38ddRichard Smith } 1033f59ff8c777379bd54137853a58c58b72fb869152Eli Friedman} 1034bc6abe93a5d6b1305411f8b6f54c2caa686ddc69Richard Smith 1035bc6abe93a5d6b1305411f8b6f54c2caa686ddc69Richard Smithnamespace ExprWithCleanups { 1036bc6abe93a5d6b1305411f8b6f54c2caa686ddc69Richard Smith struct A { A(); ~A(); int get(); }; 1037bc6abe93a5d6b1305411f8b6f54c2caa686ddc69Richard Smith constexpr int get(bool FromA) { return FromA ? A().get() : 1; } 1038bc6abe93a5d6b1305411f8b6f54c2caa686ddc69Richard Smith constexpr int n = get(false); 1039bc6abe93a5d6b1305411f8b6f54c2caa686ddc69Richard Smith} 10407098cbd601ad915aed22d4b5850da99359f25bf3Richard Smith 10417098cbd601ad915aed22d4b5850da99359f25bf3Richard Smithnamespace Volatile { 10427098cbd601ad915aed22d4b5850da99359f25bf3Richard Smith 10437098cbd601ad915aed22d4b5850da99359f25bf3Richard Smithvolatile constexpr int n1 = 0; // expected-note {{here}} 10447098cbd601ad915aed22d4b5850da99359f25bf3Richard Smithvolatile const int n2 = 0; // expected-note {{here}} 10457098cbd601ad915aed22d4b5850da99359f25bf3Richard Smithint n3 = 37; // expected-note {{declared here}} 10467098cbd601ad915aed22d4b5850da99359f25bf3Richard Smith 10479ec7197796a2730d54ae7f632553b5311b2ba3b5Richard Smithconstexpr int m1 = n1; // expected-error {{constant expression}} expected-note {{read of volatile-qualified type 'const volatile int'}} 10489ec7197796a2730d54ae7f632553b5311b2ba3b5Richard Smithconstexpr int m2 = n2; // expected-error {{constant expression}} expected-note {{read of volatile-qualified type 'const volatile int'}} 10499ec7197796a2730d54ae7f632553b5311b2ba3b5Richard Smithconstexpr int m1b = const_cast<const int&>(n1); // expected-error {{constant expression}} expected-note {{read of volatile object 'n1'}} 10509ec7197796a2730d54ae7f632553b5311b2ba3b5Richard Smithconstexpr int m2b = const_cast<const int&>(n2); // expected-error {{constant expression}} expected-note {{read of volatile object 'n2'}} 10517098cbd601ad915aed22d4b5850da99359f25bf3Richard Smith 10527098cbd601ad915aed22d4b5850da99359f25bf3Richard Smithstruct T { int n; }; 10537098cbd601ad915aed22d4b5850da99359f25bf3Richard Smithconst T t = { 42 }; // expected-note {{declared here}} 10547098cbd601ad915aed22d4b5850da99359f25bf3Richard Smith 10557098cbd601ad915aed22d4b5850da99359f25bf3Richard Smithconstexpr int f(volatile int &&r) { 10569ec7197796a2730d54ae7f632553b5311b2ba3b5Richard Smith return r; // expected-note {{read of volatile-qualified type 'volatile int'}} 10579ec7197796a2730d54ae7f632553b5311b2ba3b5Richard Smith} 10589ec7197796a2730d54ae7f632553b5311b2ba3b5Richard Smithconstexpr int g(volatile int &&r) { 10599ec7197796a2730d54ae7f632553b5311b2ba3b5Richard Smith return const_cast<int&>(r); // expected-note {{read of volatile temporary is not allowed in a constant expression}} 10607098cbd601ad915aed22d4b5850da99359f25bf3Richard Smith} 10617098cbd601ad915aed22d4b5850da99359f25bf3Richard Smithstruct S { 10629ec7197796a2730d54ae7f632553b5311b2ba3b5Richard Smith int j : f(0); // expected-error {{constant expression}} expected-note {{in call to 'f(0)'}} 10639ec7197796a2730d54ae7f632553b5311b2ba3b5Richard Smith int k : g(0); // expected-error {{constant expression}} expected-note {{temporary created here}} expected-note {{in call to 'g(0)'}} 10647098cbd601ad915aed22d4b5850da99359f25bf3Richard Smith int l : n3; // expected-error {{constant expression}} expected-note {{read of non-const variable}} 10657098cbd601ad915aed22d4b5850da99359f25bf3Richard Smith int m : t.n; // expected-error {{constant expression}} expected-note {{read of non-constexpr variable}} 10667098cbd601ad915aed22d4b5850da99359f25bf3Richard Smith}; 10677098cbd601ad915aed22d4b5850da99359f25bf3Richard Smith 10687098cbd601ad915aed22d4b5850da99359f25bf3Richard Smith} 1069dd4b350143c26c030a482f091908a2e077503411Richard Smith 1070dd4b350143c26c030a482f091908a2e077503411Richard Smithnamespace ExternConstexpr { 1071dd4b350143c26c030a482f091908a2e077503411Richard Smith extern constexpr int n = 0; 1072dd4b350143c26c030a482f091908a2e077503411Richard Smith extern constexpr int m; // expected-error {{constexpr variable declaration must be a definition}} 1073dd4b350143c26c030a482f091908a2e077503411Richard Smith void f() { 1074dd4b350143c26c030a482f091908a2e077503411Richard Smith extern constexpr int i; // expected-error {{constexpr variable declaration must be a definition}} 1075dd4b350143c26c030a482f091908a2e077503411Richard Smith constexpr int j = 0; 1076dd4b350143c26c030a482f091908a2e077503411Richard Smith constexpr int k; // expected-error {{default initialization of an object of const type}} 1077dd4b350143c26c030a482f091908a2e077503411Richard Smith } 1078dd4b350143c26c030a482f091908a2e077503411Richard Smith} 10797ead5c7b6fd48cf549e55b4db499c26ecf88ae75Eli Friedman 10807ead5c7b6fd48cf549e55b4db499c26ecf88ae75Eli Friedmannamespace ComplexConstexpr { 10817ead5c7b6fd48cf549e55b4db499c26ecf88ae75Eli Friedman constexpr _Complex float test1 = {}; 10827ead5c7b6fd48cf549e55b4db499c26ecf88ae75Eli Friedman constexpr _Complex float test2 = {1}; 10837ead5c7b6fd48cf549e55b4db499c26ecf88ae75Eli Friedman constexpr _Complex double test3 = {1,2}; 10847ead5c7b6fd48cf549e55b4db499c26ecf88ae75Eli Friedman constexpr _Complex int test4 = {4}; 10857ead5c7b6fd48cf549e55b4db499c26ecf88ae75Eli Friedman constexpr _Complex int test5 = 4; 10867ead5c7b6fd48cf549e55b4db499c26ecf88ae75Eli Friedman constexpr _Complex int test6 = {5,6}; 1087f6c17a439f3320ac620639a3ee66dbdabb93810cEli Friedman typedef _Complex float fcomplex; 1088f6c17a439f3320ac620639a3ee66dbdabb93810cEli Friedman constexpr fcomplex test7 = fcomplex(); 108986024013d4c3728122c58fa07a2a67e6c15837efRichard Smith 109086024013d4c3728122c58fa07a2a67e6c15837efRichard Smith constexpr const double &t2r = __real test3; 109186024013d4c3728122c58fa07a2a67e6c15837efRichard Smith constexpr const double &t2i = __imag test3; 109286024013d4c3728122c58fa07a2a67e6c15837efRichard Smith static_assert(&t2r + 1 == &t2i, ""); 109386024013d4c3728122c58fa07a2a67e6c15837efRichard Smith static_assert(t2r == 1.0, ""); 109486024013d4c3728122c58fa07a2a67e6c15837efRichard Smith static_assert(t2i == 2.0, ""); 109586024013d4c3728122c58fa07a2a67e6c15837efRichard Smith constexpr const double *t2p = &t2r; 109686024013d4c3728122c58fa07a2a67e6c15837efRichard Smith static_assert(t2p[-1] == 0.0, ""); // expected-error {{constant expr}} expected-note {{cannot refer to element -1 of array of 2 elements}} 109786024013d4c3728122c58fa07a2a67e6c15837efRichard Smith static_assert(t2p[0] == 1.0, ""); 109886024013d4c3728122c58fa07a2a67e6c15837efRichard Smith static_assert(t2p[1] == 2.0, ""); 109986024013d4c3728122c58fa07a2a67e6c15837efRichard Smith static_assert(t2p[2] == 0.0, ""); // expected-error {{constant expr}} expected-note {{one-past-the-end pointer}} 110086024013d4c3728122c58fa07a2a67e6c15837efRichard Smith static_assert(t2p[3] == 0.0, ""); // expected-error {{constant expr}} expected-note {{cannot refer to element 3 of array of 2 elements}} 110186024013d4c3728122c58fa07a2a67e6c15837efRichard Smith constexpr _Complex float *p = 0; 110286024013d4c3728122c58fa07a2a67e6c15837efRichard Smith constexpr float pr = __real *p; // expected-error {{constant expr}} expected-note {{cannot access real component of null}} 110386024013d4c3728122c58fa07a2a67e6c15837efRichard Smith constexpr float pi = __imag *p; // expected-error {{constant expr}} expected-note {{cannot access imaginary component of null}} 110486024013d4c3728122c58fa07a2a67e6c15837efRichard Smith constexpr const _Complex double *q = &test3 + 1; 110586024013d4c3728122c58fa07a2a67e6c15837efRichard Smith constexpr double qr = __real *q; // expected-error {{constant expr}} expected-note {{cannot access real component of pointer past the end}} 110686024013d4c3728122c58fa07a2a67e6c15837efRichard Smith constexpr double qi = __imag *q; // expected-error {{constant expr}} expected-note {{cannot access imaginary component of pointer past the end}} 110786024013d4c3728122c58fa07a2a67e6c15837efRichard Smith 110886024013d4c3728122c58fa07a2a67e6c15837efRichard Smith static_assert(__real test6 == 5, ""); 110986024013d4c3728122c58fa07a2a67e6c15837efRichard Smith static_assert(__imag test6 == 6, ""); 111086024013d4c3728122c58fa07a2a67e6c15837efRichard Smith static_assert(&__imag test6 == &__real test6 + 1, ""); 11117ead5c7b6fd48cf549e55b4db499c26ecf88ae75Eli Friedman} 11126b3014b07c40a6ed8b0c8ed63950df02eeb82c28Eli Friedman 11136b3014b07c40a6ed8b0c8ed63950df02eeb82c28Eli Friedmannamespace InstantiateCaseStmt { 11146b3014b07c40a6ed8b0c8ed63950df02eeb82c28Eli Friedman template<int x> constexpr int f() { return x; } 11156b3014b07c40a6ed8b0c8ed63950df02eeb82c28Eli Friedman template<int x> int g(int c) { switch(c) { case f<x>(): return 1; } return 0; } 11166b3014b07c40a6ed8b0c8ed63950df02eeb82c28Eli Friedman int gg(int c) { return g<4>(c); } 11176b3014b07c40a6ed8b0c8ed63950df02eeb82c28Eli Friedman} 1118495f42a32610c03591b49cd06ac09c5408742f86Richard Smith 1119495f42a32610c03591b49cd06ac09c5408742f86Richard Smithnamespace ConvertedConstantExpr { 1120495f42a32610c03591b49cd06ac09c5408742f86Richard Smith extern int &m; 1121495f42a32610c03591b49cd06ac09c5408742f86Richard Smith extern int &n; 1122495f42a32610c03591b49cd06ac09c5408742f86Richard Smith 1123495f42a32610c03591b49cd06ac09c5408742f86Richard Smith constexpr int k = 4; 1124495f42a32610c03591b49cd06ac09c5408742f86Richard Smith int &m = const_cast<int&>(k); 1125495f42a32610c03591b49cd06ac09c5408742f86Richard Smith 1126495f42a32610c03591b49cd06ac09c5408742f86Richard Smith // If we have nothing more interesting to say, ensure we don't produce a 1127495f42a32610c03591b49cd06ac09c5408742f86Richard Smith // useless note and instead just point to the non-constant subexpression. 1128495f42a32610c03591b49cd06ac09c5408742f86Richard Smith enum class E { 1129495f42a32610c03591b49cd06ac09c5408742f86Richard Smith em = m, 1130495f42a32610c03591b49cd06ac09c5408742f86Richard Smith en = n, // expected-error {{not a constant expression}} 1131495f42a32610c03591b49cd06ac09c5408742f86Richard Smith eo = (m + 1132495f42a32610c03591b49cd06ac09c5408742f86Richard Smith n // expected-error {{not a constant expression}} 1133495f42a32610c03591b49cd06ac09c5408742f86Richard Smith ), 1134495f42a32610c03591b49cd06ac09c5408742f86Richard Smith eq = reinterpret_cast<int>((int*)0) // expected-error {{not a constant expression}} expected-note {{reinterpret_cast}} 1135495f42a32610c03591b49cd06ac09c5408742f86Richard Smith }; 1136495f42a32610c03591b49cd06ac09c5408742f86Richard Smith} 1137d9b02e726262e4009dda830998bb934172ac0020Richard Smith 1138d9b02e726262e4009dda830998bb934172ac0020Richard Smithnamespace IndirectField { 1139d9b02e726262e4009dda830998bb934172ac0020Richard Smith struct S { 1140d9b02e726262e4009dda830998bb934172ac0020Richard Smith struct { // expected-warning {{GNU extension}} 1141d9b02e726262e4009dda830998bb934172ac0020Richard Smith union { 1142d9b02e726262e4009dda830998bb934172ac0020Richard Smith struct { // expected-warning {{GNU extension}} 1143d9b02e726262e4009dda830998bb934172ac0020Richard Smith int a; 1144d9b02e726262e4009dda830998bb934172ac0020Richard Smith int b; 1145d9b02e726262e4009dda830998bb934172ac0020Richard Smith }; 1146d9b02e726262e4009dda830998bb934172ac0020Richard Smith int c; 1147d9b02e726262e4009dda830998bb934172ac0020Richard Smith }; 1148d9b02e726262e4009dda830998bb934172ac0020Richard Smith int d; 1149d9b02e726262e4009dda830998bb934172ac0020Richard Smith }; 1150d9b02e726262e4009dda830998bb934172ac0020Richard Smith union { 1151d9b02e726262e4009dda830998bb934172ac0020Richard Smith int e; 1152d9b02e726262e4009dda830998bb934172ac0020Richard Smith int f; 1153d9b02e726262e4009dda830998bb934172ac0020Richard Smith }; 1154d9b02e726262e4009dda830998bb934172ac0020Richard Smith constexpr S(int a, int b, int d, int e) : a(a), b(b), d(d), e(e) {} 1155d9b02e726262e4009dda830998bb934172ac0020Richard Smith constexpr S(int c, int d, int f) : c(c), d(d), f(f) {} 1156d9b02e726262e4009dda830998bb934172ac0020Richard Smith }; 1157d9b02e726262e4009dda830998bb934172ac0020Richard Smith 1158d9b02e726262e4009dda830998bb934172ac0020Richard Smith constexpr S s1(1, 2, 3, 4); 1159d9b02e726262e4009dda830998bb934172ac0020Richard Smith constexpr S s2(5, 6, 7); 1160d9b02e726262e4009dda830998bb934172ac0020Richard Smith 1161d9b02e726262e4009dda830998bb934172ac0020Richard Smith // FIXME: The diagnostics here do a very poor job of explaining which unnamed 1162d9b02e726262e4009dda830998bb934172ac0020Richard Smith // member is active and which is requested. 1163d9b02e726262e4009dda830998bb934172ac0020Richard Smith static_assert(s1.a == 1, ""); 1164d9b02e726262e4009dda830998bb934172ac0020Richard Smith static_assert(s1.b == 2, ""); 1165d9b02e726262e4009dda830998bb934172ac0020Richard Smith static_assert(s1.c == 0, ""); // expected-error {{constant expression}} expected-note {{union with active member}} 1166d9b02e726262e4009dda830998bb934172ac0020Richard Smith static_assert(s1.d == 3, ""); 1167d9b02e726262e4009dda830998bb934172ac0020Richard Smith static_assert(s1.e == 4, ""); 1168d9b02e726262e4009dda830998bb934172ac0020Richard Smith static_assert(s1.f == 0, ""); // expected-error {{constant expression}} expected-note {{union with active member}} 1169d9b02e726262e4009dda830998bb934172ac0020Richard Smith 1170d9b02e726262e4009dda830998bb934172ac0020Richard Smith static_assert(s2.a == 0, ""); // expected-error {{constant expression}} expected-note {{union with active member}} 1171d9b02e726262e4009dda830998bb934172ac0020Richard Smith static_assert(s2.b == 0, ""); // expected-error {{constant expression}} expected-note {{union with active member}} 1172d9b02e726262e4009dda830998bb934172ac0020Richard Smith static_assert(s2.c == 5, ""); 1173d9b02e726262e4009dda830998bb934172ac0020Richard Smith static_assert(s2.d == 6, ""); 1174d9b02e726262e4009dda830998bb934172ac0020Richard Smith static_assert(s2.e == 0, ""); // expected-error {{constant expression}} expected-note {{union with active member}} 1175d9b02e726262e4009dda830998bb934172ac0020Richard Smith static_assert(s2.f == 7, ""); 1176d9b02e726262e4009dda830998bb934172ac0020Richard Smith} 1177f15fda02e9c8c82b4a716618f4010b9af8bff796Richard Smith 1178b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith// DR1405: don't allow reading mutable members in constant expressions. 1179b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smithnamespace MutableMembers { 1180b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith struct MM { 1181b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith mutable int n; // expected-note 3{{declared here}} 1182b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith } constexpr mm = { 4 }; 1183b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith constexpr int mmn = mm.n; // expected-error {{constant expression}} expected-note {{read of mutable member 'n' is not allowed in a constant expression}} 1184b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith int x = (mm.n = 1, 3); 1185b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith constexpr int mmn2 = mm.n; // expected-error {{constant expression}} expected-note {{read of mutable member 'n' is not allowed in a constant expression}} 1186b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith 1187b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith // Here's one reason why allowing this would be a disaster... 1188b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith template<int n> struct Id { int k = n; }; 1189b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith int f() { 1190b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith constexpr MM m = { 0 }; 1191b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith ++m.n; 1192b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith return Id<m.n>().k; // expected-error {{not a constant expression}} expected-note {{read of mutable member 'n' is not allowed in a constant expression}} 1193b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith } 1194b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith 1195b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith struct A { int n; }; 1196b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith struct B { mutable A a; }; // expected-note {{here}} 1197b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith struct C { B b; }; 1198b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith constexpr C c[3] = {}; 1199b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith constexpr int k = c[1].b.a.n; // expected-error {{constant expression}} expected-note {{mutable}} 1200b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith} 1201b4e5e286a5cd156247720b1eb204abaa8e09568dRichard Smith 1202f15fda02e9c8c82b4a716618f4010b9af8bff796Richard Smithnamespace Fold { 1203f15fda02e9c8c82b4a716618f4010b9af8bff796Richard Smith 1204f15fda02e9c8c82b4a716618f4010b9af8bff796Richard Smith // This macro forces its argument to be constant-folded, even if it's not 1205f15fda02e9c8c82b4a716618f4010b9af8bff796Richard Smith // otherwise a constant expression. 1206f15fda02e9c8c82b4a716618f4010b9af8bff796Richard Smith #define fold(x) (__builtin_constant_p(x) ? (x) : (x)) 1207f15fda02e9c8c82b4a716618f4010b9af8bff796Richard Smith 1208f15fda02e9c8c82b4a716618f4010b9af8bff796Richard Smith constexpr int n = (int)(char*)123; // expected-error {{constant expression}} expected-note {{reinterpret_cast}} 1209f15fda02e9c8c82b4a716618f4010b9af8bff796Richard Smith constexpr int m = fold((int)(char*)123); // ok 1210f15fda02e9c8c82b4a716618f4010b9af8bff796Richard Smith static_assert(m == 123, ""); 1211f15fda02e9c8c82b4a716618f4010b9af8bff796Richard Smith 1212f15fda02e9c8c82b4a716618f4010b9af8bff796Richard Smith #undef fold 1213f15fda02e9c8c82b4a716618f4010b9af8bff796Richard Smith 1214f15fda02e9c8c82b4a716618f4010b9af8bff796Richard Smith} 121583587db1bda97f45d2b5a4189e584e2a18be511aRichard Smith 121683587db1bda97f45d2b5a4189e584e2a18be511aRichard Smithnamespace DR1454 { 121783587db1bda97f45d2b5a4189e584e2a18be511aRichard Smith 121883587db1bda97f45d2b5a4189e584e2a18be511aRichard Smithconstexpr const int &f(const int &n) { return n; } 121983587db1bda97f45d2b5a4189e584e2a18be511aRichard Smithconstexpr int k1 = f(0); // ok 122083587db1bda97f45d2b5a4189e584e2a18be511aRichard Smith 122183587db1bda97f45d2b5a4189e584e2a18be511aRichard Smithstruct Wrap { 122283587db1bda97f45d2b5a4189e584e2a18be511aRichard Smith const int &value; 122383587db1bda97f45d2b5a4189e584e2a18be511aRichard Smith}; 122483587db1bda97f45d2b5a4189e584e2a18be511aRichard Smithconstexpr const Wrap &g(const Wrap &w) { return w; } 122583587db1bda97f45d2b5a4189e584e2a18be511aRichard Smithconstexpr int k2 = g({0}).value; // ok 122683587db1bda97f45d2b5a4189e584e2a18be511aRichard Smith 122783587db1bda97f45d2b5a4189e584e2a18be511aRichard Smithconstexpr const int &i = 0; // expected-error {{constant expression}} expected-note {{temporary}} expected-note 2{{here}} 122883587db1bda97f45d2b5a4189e584e2a18be511aRichard Smithconstexpr const int j = i; // expected-error {{constant expression}} expected-note {{initializer of 'i' is not a constant expression}} 122983587db1bda97f45d2b5a4189e584e2a18be511aRichard Smith 123083587db1bda97f45d2b5a4189e584e2a18be511aRichard Smith} 123174e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith 123274e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smithnamespace RecursiveOpaqueExpr { 123374e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith template<typename Iter> 123474e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith constexpr auto LastNonzero(Iter p, Iter q) -> decltype(+*p) { 123574e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith return p != q ? (LastNonzero(p+1, q) ?: *p) : 0; // expected-warning {{GNU}} 123674e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith } 123774e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith 123874e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith constexpr int arr1[] = { 1, 0, 0, 3, 0, 2, 0, 4, 0, 0 }; 123974e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith static_assert(LastNonzero(begin(arr1), end(arr1)) == 4, ""); 124074e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith 124174e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith constexpr int arr2[] = { 1, 0, 0, 3, 0, 2, 0, 4, 0, 5 }; 124274e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith static_assert(LastNonzero(begin(arr2), end(arr2)) == 5, ""); 1243e92b1f4917bfb669a09d220dc979fc3676df4da8Richard Smith 1244e92b1f4917bfb669a09d220dc979fc3676df4da8Richard Smith constexpr int arr3[] = { 1245e92b1f4917bfb669a09d220dc979fc3676df4da8Richard Smith 1, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1246e92b1f4917bfb669a09d220dc979fc3676df4da8Richard Smith 1, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1247e92b1f4917bfb669a09d220dc979fc3676df4da8Richard Smith 1, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1248e92b1f4917bfb669a09d220dc979fc3676df4da8Richard Smith 1, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1249e92b1f4917bfb669a09d220dc979fc3676df4da8Richard Smith 1, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1250e92b1f4917bfb669a09d220dc979fc3676df4da8Richard Smith 1, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1251e92b1f4917bfb669a09d220dc979fc3676df4da8Richard Smith 1, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1252e92b1f4917bfb669a09d220dc979fc3676df4da8Richard Smith 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }; 1253e92b1f4917bfb669a09d220dc979fc3676df4da8Richard Smith static_assert(LastNonzero(begin(arr3), end(arr3)) == 2, ""); 125474e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith} 125574e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith 125674e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smithnamespace VLASizeof { 125774e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith 125874e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith void f(int k) { 125974e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith int arr[k]; // expected-warning {{C99}} 126074e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith constexpr int n = 1 + 126174e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith sizeof(arr) // expected-error {{constant expression}} 126274e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith * 3; 126374e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith } 126474e1ad93fa8d6347549bcb10279fdf1fbc775321Richard Smith} 1265b78ae9716576399145786b93f687943f8b197170Richard Smith 1266b78ae9716576399145786b93f687943f8b197170Richard Smithnamespace CompoundLiteral { 1267b78ae9716576399145786b93f687943f8b197170Richard Smith // FIXME: 1268b78ae9716576399145786b93f687943f8b197170Richard Smith // We don't model the semantics of this correctly: the compound literal is 1269b78ae9716576399145786b93f687943f8b197170Richard Smith // represented as a prvalue in the AST, but actually behaves like an lvalue. 1270b78ae9716576399145786b93f687943f8b197170Richard Smith // We treat the compound literal as a temporary and refuse to produce a 1271b78ae9716576399145786b93f687943f8b197170Richard Smith // pointer to it. This is OK: we're not required to treat this as a constant 1272b78ae9716576399145786b93f687943f8b197170Richard Smith // in C++, and in C we model compound literals as lvalues. 1273b78ae9716576399145786b93f687943f8b197170Richard Smith constexpr int *p = (int*)(int[1]){0}; // expected-warning {{C99}} expected-error {{constant expression}} expected-note 2{{temporary}} 1274b78ae9716576399145786b93f687943f8b197170Richard Smith} 12754b1f684416980ef6f1a7cb9e6af9c4fa4a164617Richard Smith 12764b1f684416980ef6f1a7cb9e6af9c4fa4a164617Richard Smithnamespace Vector { 12774b1f684416980ef6f1a7cb9e6af9c4fa4a164617Richard Smith typedef int __attribute__((vector_size(16))) VI4; 12784b1f684416980ef6f1a7cb9e6af9c4fa4a164617Richard Smith constexpr VI4 f(int n) { 12794b1f684416980ef6f1a7cb9e6af9c4fa4a164617Richard Smith return VI4 { n * 3, n + 4, n - 5, n / 6 }; 12804b1f684416980ef6f1a7cb9e6af9c4fa4a164617Richard Smith } 12814b1f684416980ef6f1a7cb9e6af9c4fa4a164617Richard Smith constexpr auto v1 = f(10); 12824b1f684416980ef6f1a7cb9e6af9c4fa4a164617Richard Smith 12834b1f684416980ef6f1a7cb9e6af9c4fa4a164617Richard Smith typedef double __attribute__((vector_size(32))) VD4; 12844b1f684416980ef6f1a7cb9e6af9c4fa4a164617Richard Smith constexpr VD4 g(int n) { 12854b1f684416980ef6f1a7cb9e6af9c4fa4a164617Richard Smith return (VD4) { n / 2.0, n + 1.5, n - 5.4, n * 0.9 }; // expected-warning {{C99}} 12864b1f684416980ef6f1a7cb9e6af9c4fa4a164617Richard Smith } 12874b1f684416980ef6f1a7cb9e6af9c4fa4a164617Richard Smith constexpr auto v2 = g(4); 12884b1f684416980ef6f1a7cb9e6af9c4fa4a164617Richard Smith} 12898d59deec807ed53efcd07855199cdc9c979f447fJohn McCall 12908d59deec807ed53efcd07855199cdc9c979f447fJohn McCall// PR12626, redux 12918d59deec807ed53efcd07855199cdc9c979f447fJohn McCallnamespace InvalidClasses { 12928d59deec807ed53efcd07855199cdc9c979f447fJohn McCall void test0() { 12938d59deec807ed53efcd07855199cdc9c979f447fJohn McCall struct X; // expected-note {{forward declaration}} 12948d59deec807ed53efcd07855199cdc9c979f447fJohn McCall struct Y { bool b; X x; }; // expected-error {{field has incomplete type}} 12958d59deec807ed53efcd07855199cdc9c979f447fJohn McCall Y y; 12968d59deec807ed53efcd07855199cdc9c979f447fJohn McCall auto& b = y.b; 12978d59deec807ed53efcd07855199cdc9c979f447fJohn McCall } 12988d59deec807ed53efcd07855199cdc9c979f447fJohn McCall} 1299dbbecccb8431bb4545fc01c6401abc4253667360Richard Smith 1300622da859b816036290b7e6f046521e4dea388361Richard Smith// Constructors can be implicitly constexpr, even for a non-literal type. 1301622da859b816036290b7e6f046521e4dea388361Richard Smithnamespace ImplicitConstexpr { 1302622da859b816036290b7e6f046521e4dea388361Richard Smith struct Q { Q() = default; Q(const Q&) = default; Q(Q&&) = default; ~Q(); }; // expected-note 3{{here}} 1303604fb38cd943649bee579103d17ca6cda4aad144Richard Smith struct R { constexpr R() noexcept; constexpr R(const R&) noexcept; constexpr R(R&&) noexcept; ~R() noexcept; }; 1304622da859b816036290b7e6f046521e4dea388361Richard Smith struct S { R r; }; // expected-note 3{{here}} 1305604fb38cd943649bee579103d17ca6cda4aad144Richard Smith struct T { T(const T&) noexcept; T(T &&) noexcept; ~T() noexcept; }; 1306622da859b816036290b7e6f046521e4dea388361Richard Smith struct U { T t; }; // expected-note 3{{here}} 1307622da859b816036290b7e6f046521e4dea388361Richard Smith static_assert(!__is_literal_type(Q), ""); 1308622da859b816036290b7e6f046521e4dea388361Richard Smith static_assert(!__is_literal_type(R), ""); 1309622da859b816036290b7e6f046521e4dea388361Richard Smith static_assert(!__is_literal_type(S), ""); 1310622da859b816036290b7e6f046521e4dea388361Richard Smith static_assert(!__is_literal_type(T), ""); 1311622da859b816036290b7e6f046521e4dea388361Richard Smith static_assert(!__is_literal_type(U), ""); 1312622da859b816036290b7e6f046521e4dea388361Richard Smith struct Test { 1313622da859b816036290b7e6f046521e4dea388361Richard Smith friend Q::Q() noexcept; // expected-error {{follows constexpr}} 1314622da859b816036290b7e6f046521e4dea388361Richard Smith friend Q::Q(Q&&) noexcept; // expected-error {{follows constexpr}} 1315622da859b816036290b7e6f046521e4dea388361Richard Smith friend Q::Q(const Q&) noexcept; // expected-error {{follows constexpr}} 1316622da859b816036290b7e6f046521e4dea388361Richard Smith friend S::S() noexcept; // expected-error {{follows constexpr}} 1317622da859b816036290b7e6f046521e4dea388361Richard Smith friend S::S(S&&) noexcept; // expected-error {{follows constexpr}} 1318622da859b816036290b7e6f046521e4dea388361Richard Smith friend S::S(const S&) noexcept; // expected-error {{follows constexpr}} 1319622da859b816036290b7e6f046521e4dea388361Richard Smith friend constexpr U::U() noexcept; // expected-error {{follows non-constexpr}} 1320622da859b816036290b7e6f046521e4dea388361Richard Smith friend constexpr U::U(U&&) noexcept; // expected-error {{follows non-constexpr}} 1321622da859b816036290b7e6f046521e4dea388361Richard Smith friend constexpr U::U(const U&) noexcept; // expected-error {{follows non-constexpr}} 1322622da859b816036290b7e6f046521e4dea388361Richard Smith }; 1323622da859b816036290b7e6f046521e4dea388361Richard Smith} 1324622da859b816036290b7e6f046521e4dea388361Richard Smith 1325dbbecccb8431bb4545fc01c6401abc4253667360Richard Smith// Indirectly test that an implicit lvalue to xvalue conversion performed for 1326dbbecccb8431bb4545fc01c6401abc4253667360Richard Smith// an NRVO move operation isn't implemented as CK_LValueToRValue. 1327dbbecccb8431bb4545fc01c6401abc4253667360Richard Smithnamespace PR12826 { 1328dbbecccb8431bb4545fc01c6401abc4253667360Richard Smith struct Foo {}; 1329dbbecccb8431bb4545fc01c6401abc4253667360Richard Smith constexpr Foo id(Foo x) { return x; } 1330dbbecccb8431bb4545fc01c6401abc4253667360Richard Smith constexpr Foo res(id(Foo())); 1331dbbecccb8431bb4545fc01c6401abc4253667360Richard Smith} 1332f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith 1333f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smithnamespace PR13273 { 1334f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith struct U { 1335f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith int t; 1336f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith U() = default; 1337f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith }; 1338f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith 1339f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith struct S : U { 1340f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith S() = default; 1341f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith }; 1342f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith 1343f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith // S's default constructor isn't constexpr, because U's default constructor 1344f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith // doesn't initialize 't', but it's trivial, so value-initialization doesn't 1345f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith // actually call it. 1346f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith static_assert(S{}.t == 0, ""); 1347f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith} 134820599392a99956eaac4cf351a0935574090cb6c3Richard Smith 134920599392a99956eaac4cf351a0935574090cb6c3Richard Smithnamespace PR12670 { 135020599392a99956eaac4cf351a0935574090cb6c3Richard Smith struct S { 135120599392a99956eaac4cf351a0935574090cb6c3Richard Smith constexpr S(int a0) : m(a0) {} 135220599392a99956eaac4cf351a0935574090cb6c3Richard Smith constexpr S() : m(6) {} 135320599392a99956eaac4cf351a0935574090cb6c3Richard Smith int m; 135420599392a99956eaac4cf351a0935574090cb6c3Richard Smith }; 135520599392a99956eaac4cf351a0935574090cb6c3Richard Smith constexpr S x[3] = { {4}, 5 }; 135620599392a99956eaac4cf351a0935574090cb6c3Richard Smith static_assert(x[0].m == 4, ""); 135720599392a99956eaac4cf351a0935574090cb6c3Richard Smith static_assert(x[1].m == 5, ""); 135820599392a99956eaac4cf351a0935574090cb6c3Richard Smith static_assert(x[2].m == 6, ""); 135920599392a99956eaac4cf351a0935574090cb6c3Richard Smith} 1360604fb38cd943649bee579103d17ca6cda4aad144Richard Smith 1361604fb38cd943649bee579103d17ca6cda4aad144Richard Smith// Indirectly test that an implicit lvalue-to-rvalue conversion is performed 1362604fb38cd943649bee579103d17ca6cda4aad144Richard Smith// when a conditional operator has one argument of type void and where the other 1363604fb38cd943649bee579103d17ca6cda4aad144Richard Smith// is a glvalue of class type. 1364604fb38cd943649bee579103d17ca6cda4aad144Richard Smithnamespace ConditionalLValToRVal { 1365604fb38cd943649bee579103d17ca6cda4aad144Richard Smith struct A { 1366604fb38cd943649bee579103d17ca6cda4aad144Richard Smith constexpr A(int a) : v(a) {} 1367604fb38cd943649bee579103d17ca6cda4aad144Richard Smith int v; 1368604fb38cd943649bee579103d17ca6cda4aad144Richard Smith }; 1369604fb38cd943649bee579103d17ca6cda4aad144Richard Smith 1370604fb38cd943649bee579103d17ca6cda4aad144Richard Smith constexpr A f(const A &a) { 1371604fb38cd943649bee579103d17ca6cda4aad144Richard Smith return a.v == 0 ? throw a : a; 1372604fb38cd943649bee579103d17ca6cda4aad144Richard Smith } 1373604fb38cd943649bee579103d17ca6cda4aad144Richard Smith 1374604fb38cd943649bee579103d17ca6cda4aad144Richard Smith constexpr A a(4); 1375604fb38cd943649bee579103d17ca6cda4aad144Richard Smith static_assert(f(a).v == 4, ""); 1376604fb38cd943649bee579103d17ca6cda4aad144Richard Smith} 137729f431b3e310ae6bd367dccf5a2794ad1cac9592Hans Wennborg 137829f431b3e310ae6bd367dccf5a2794ad1cac9592Hans Wennborgnamespace TLS { 137929f431b3e310ae6bd367dccf5a2794ad1cac9592Hans Wennborg __thread int n; 138048def65d1cfbd020c5d4a7e542a00d63808c6060Hans Wennborg int m; 138148def65d1cfbd020c5d4a7e542a00d63808c6060Hans Wennborg 138248def65d1cfbd020c5d4a7e542a00d63808c6060Hans Wennborg constexpr bool b = &n == &n; 138348def65d1cfbd020c5d4a7e542a00d63808c6060Hans Wennborg 138448def65d1cfbd020c5d4a7e542a00d63808c6060Hans Wennborg constexpr int *p = &n; // expected-error{{constexpr variable 'p' must be initialized by a constant expression}} 138548def65d1cfbd020c5d4a7e542a00d63808c6060Hans Wennborg 138648def65d1cfbd020c5d4a7e542a00d63808c6060Hans Wennborg constexpr int *f() { return &n; } 138748def65d1cfbd020c5d4a7e542a00d63808c6060Hans Wennborg constexpr int *q = f(); // expected-error{{constexpr variable 'q' must be initialized by a constant expression}} 138848def65d1cfbd020c5d4a7e542a00d63808c6060Hans Wennborg constexpr bool c = f() == f(); 138948def65d1cfbd020c5d4a7e542a00d63808c6060Hans Wennborg 139048def65d1cfbd020c5d4a7e542a00d63808c6060Hans Wennborg constexpr int *g() { return &m; } 139148def65d1cfbd020c5d4a7e542a00d63808c6060Hans Wennborg constexpr int *r = g(); 139229f431b3e310ae6bd367dccf5a2794ad1cac9592Hans Wennborg} 1393