Lines Matching refs:constexpr
7 // expression, function invocation substitution (7.1.5 [dcl.constexpr])
8 // replaces each occurrence of this in a constexpr member function with a
20 // - an invocation of a function other than a constexpr constructor for a
21 // literal class or a constexpr function [ Note: Overload resolution (13.3)
25 int n : f(); // expected-error {{constant expression}} expected-note {{non-constexpr function 'f' cannot be used in a constant expression}}
28 constexpr NonConstexpr2(); // expected-note {{here}}
40 int n : NonConstexpr4().n; // expected-error {{constant expression}} expected-note {{non-constexpr constructor 'NonConstexpr4' cannot be used in a constant expression}}
43 // - an invocation of an undefined constexpr function or an undefined
44 // constexpr constructor;
46 constexpr UndefinedConstexpr();
47 static constexpr int undefinedConstexpr1(); // expected-note {{here}}
51 // - an invocation of a constexpr function with arguments that, when substituted
55 static constexpr const int &id_ref(const int &n) {
61 constexpr const int *address_of(const int &a) {
64 constexpr const int *return_param(int n) { // expected-note {{declared here}}
72 // - an invocation of a constexpr constructor with arguments that, when
78 constexpr T(const int &r) :
83 constexpr int n = 0;
84 constexpr T t1(n); // ok
85 constexpr T t2(0); // expected-error {{must be initialized by a constant expression}} expected-note {{temporary created here}} expected-note {{reference to temporary is not a constant expression}}
92 // - an invocation of a constexpr function or a constexpr constructor that would
95 constexpr int RecurseForever(int n) {
96 return n + RecurseForever(n+1); // expected-note {{constexpr evaluation exceeded maximum depth of 128 calls}} expected-note 9{{in call to 'RecurseForever(}} expected-note {{skipping 118 calls}}
99 constexpr AlsoRecurseForever(int n) :
100 n(AlsoRecurseForever(n+1).n) // expected-note {{constexpr evaluation exceeded maximum depth of 128 calls}} expected-note 9{{in call to 'AlsoRecurseForever(}} expected-note {{skipping 118 calls}}
114 constexpr S *p = &s; // ok
118 constexpr S (*p2)[] = &sArr; // ok
121 constexpr S *operator&() const { return nullptr; }
123 constexpr S *q = &s; // ok
146 constexpr int int_min = ~0x7fffffff;
147 constexpr int minus_int_min = -int_min; // expected-error {{constant expression}} expected-note {{value 2147483648 is outside the range}}
148 constexpr int div0 = 3 / 0; // expected-error {{constant expression}} expected-note {{division by zero}} expected-warning {{undefined}}
149 constexpr int mod0 = 3 % 0; // expected-error {{constant expression}} expected-note {{division by zero}} expected-warning {{undefined}}
150 constexpr int int_min_div_minus_1 = int_min / -1; // expected-error {{constant expression}} expected-note {{value 2147483648 is outside the range}}
151 constexpr int int_min_mod_minus_1 = int_min % -1; // expected-error {{constant expression}} expected-note {{value 2147483648 is outside the range}}
153 constexpr int shl_m1 = 0 << -1; // expected-error {{constant expression}} expected-note {{negative shift count -1}} expected-warning {{negative}}
154 constexpr int shl_0 = 0 << 0; // ok
155 constexpr int shl_31 = 0 << 31; // ok
156 constexpr int shl_32 = 0 << 32; // expected-error {{constant expression}} expected-note {{shift count 32 >= width of type 'int' (32}} expected-warning {{>= width of type}}
157 constexpr int shl_unsigned_negative = unsigned(-3) << 1; // ok
158 constexpr int shl_unsigned_into_sign = 1u << 31; // ok
159 constexpr int shl_unsigned_overflow = 1024u << 31; // ok
160 constexpr int shl_signed_negative = (-3) << 1; // expected-error {{constant expression}} expected-note {{left shift of negative value -3}}
161 constexpr int shl_signed_ok = 1 << 30; // ok
162 constexpr int shl_signed_into_sign = 1 << 31; // ok (DR1457)
163 constexpr int shl_signed_into_sign_2 = 0x7fffffff << 1; // ok (DR1457)
164 constexpr int shl_signed_off_end = 2 << 31; // expected-error {{constant expression}} expected-note {{signed left shift discards bits}} expected-warning {{signed shift result (0x100000000) requires 34 bits to represent, but 'int' only has 32 bits}}
165 constexpr int shl_signed_off_end_2 = 0x7fffffff << 2; // expected-error {{constant expression}} expected-note {{signed left shift discards bits}} expected-warning {{signed shift result (0x1FFFFFFFC) requires 34 bits to represent, but 'int' only has 32 bits}}
166 constexpr int shl_signed_overflow = 1024 << 31; // expected-error {{constant expression}} expected-note {{signed left shift discards bits}} expected-warning {{requires 43 bits to represent}}
167 constexpr int shl_signed_ok2 = 1024 << 20; // ok
169 constexpr int shr_m1 = 0 >> -1; // expected-error {{constant expression}} expected-note {{negative shift count -1}} expected-warning {{negative}}
170 constexpr int shr_0 = 0 >> 0; // ok
171 constexpr int shr_31 = 0 >> 31; // ok
172 constexpr int shr_32 = 0 >> 32; // expected-error {{constant expression}} expected-note {{shift count 32 >= width of type}} expected-warning {{>= width of type}}
177 constexpr S s = { 5 };
178 constexpr const int *p = &s.m + 1;
179 constexpr const int &f(const int *q) {
182 constexpr int n = (f(p), 0); // ok
191 constexpr B *p = a[0] + 4; // expected-error {{constant expression}} expected-note {{element 4 of array of 3 elements}}
193 constexpr A *pa = &b + 1; // expected-error {{constant expression}} expected-note {{base class of pointer past the end}}
194 constexpr B *pb = (B*)((A*)&b + 1); // expected-error {{constant expression}} expected-note {{derived class of pointer past the end}}
195 constexpr const int *pn = &(&b + 1)->n; // expected-error {{constant expression}} expected-note {{field of pointer past the end}}
196 constexpr B *parr = &a[3][0]; // expected-error {{constant expression}} expected-note {{array element of pointer past the end}}
198 constexpr A *na = nullptr;
199 constexpr B *nb = nullptr;
200 constexpr A &ra = *nb; // expected-error {{constant expression}} expected-note {{cannot access base class of null pointer}}
201 constexpr B &rb = (B&)*na; // expected-error {{constant expression}} expected-note {{cannot access derived class of null pointer}}
204 constexpr const int &nf = nb->n; // expected-error {{constant expression}} expected-note {{cannot access field of null pointer}}
205 constexpr const int &np = (*(int(*)[4])nullptr)[2]; // expected-error {{constant expression}} expected-note {{cannot access array element of null pointer}}
208 constexpr int f() const { return 0; }
209 } constexpr c = C();
210 constexpr int k1 = c.f(); // ok
211 constexpr int k2 = ((C*)nullptr)->f(); // expected-error {{constant expression}} expected-note {{cannot call member function on null pointer}}
212 constexpr int k3 = (&c)[1].f(); // expected-error {{constant expression}} expected-note {{cannot call member function on pointer past the end of object}}
214 constexpr int k4 = c2.f(); // ok!
216 constexpr int diff1 = &a[2] - &a[0];
217 constexpr int diff2 = &a[1][3] - &a[1][0];
218 constexpr int diff3 = &a[2][0] - &a[1][0]; // expected-error {{constant expression}} expected-note {{subtracted pointers are not elements of the same array}}
220 constexpr int diff4 = (&b + 1) - &b;
221 constexpr int diff5 = &a[1][2].n - &a[1][0].n; // expected-error {{constant expression}} expected-note {{subtracted pointers are not elements of the same array}}
222 constexpr int diff6 = &a[1][2].n - &a[1][2].n;
223 constexpr int diff7 = (A*)&a[0][1] - (A*)&a[0][0]; // expected-error {{constant expression}} expected-note {{subtracted pointers are not elements of the same array}}
228 constexpr int n1 = 2 * 3 * 3 * 7 * 11 * 31 * 151 * 331; // ok
229 constexpr int n2 = 65536 * 32768; // expected-error {{constant expression}} expected-note {{value 2147483648 is outside the range of }}
230 constexpr int n3 = n1 + 1; // ok
231 constexpr int n4 = n3 + 1; // expected-error {{constant expression}} expected-note {{value 2147483648 is outside the range of }}
232 constexpr int n5 = -65536 * 32768; // ok
233 constexpr int n6 = 3 * -715827883; // expected-error {{constant expression}} expected-note {{value -2147483649 is outside the range of }}
234 constexpr int n7 = -n3 + -1; // ok
235 constexpr int n8 = -1 + n7; // expected-error {{constant expression}} expected-note {{value -2147483649 is outside the range of }}
236 constexpr int n9 = n3 - 0; // ok
237 constexpr int n10 = n3 - -1; // expected-error {{constant expression}} expected-note {{value 2147483648 is outside the range of }}
238 constexpr int n11 = -1 - n3; // ok
239 constexpr int n12 = -2 - n3; // expected-error {{constant expression}} expected-note {{value -2147483649 is outside the range of }}
240 constexpr int n13 = n5 + n5; // expected-error {{constant expression}} expected-note {{value -4294967296 is outside the range of }}
241 constexpr int n14 = n3 - n5; // expected-error {{constant expression}} expected-note {{value 4294967295 is outside the range of }}
242 constexpr int n15 = n5 * n5; // expected-error {{constant expression}} expected-note {{value 4611686018427387904 is outside the range of }}
243 constexpr signed char c1 = 100 * 2; // ok
244 constexpr signed char c2 = '\x64' * '\2'; // also ok
245 constexpr long long ll1 = 0x7fffffffffffffff; // ok
246 constexpr long long ll2 = ll1 + 1; // expected-error {{constant}} expected-note {{ 9223372036854775808 }}
247 constexpr long long ll3 = -ll1 - 1; // ok
248 constexpr long long ll4 = ll3 - 1; // expected-error {{constant}} expected-note {{ -9223372036854775809 }}
249 constexpr long long ll5 = ll3 * ll3; // expected-error {{constant}} expected-note {{ 85070591730234615865843651857942052864 }}
254 constexpr ptrdiff_t d1 = &melchizedek[0x7fffffff] - &melchizedek[0]; // ok
255 constexpr ptrdiff_t d2 = &melchizedek[0x80000000u] - &melchizedek[0]; // expected-error {{constant expression}} expected-note {{ 2147483648 }}
256 constexpr ptrdiff_t d3 = &melchizedek[0] - &melchizedek[0x80000000u]; // ok
257 constexpr ptrdiff_t d4 = &melchizedek[0] - &melchizedek[0x80000001u]; // expected-error {{constant expression}} expected-note {{ -2147483649 }}
266 constexpr float f1 = 1e38f * 3.4028f; // ok
267 constexpr float f2 = 1e38f * 3.4029f; // expected-error {{constant expression}} expected-note {{floating point arithmetic produces an infinity}}
268 constexpr float f3 = 1e38f / -.2939f; // ok
269 constexpr float f4 = 1e38f / -.2938f; // expected-error {{constant expression}} expected-note {{floating point arithmetic produces an infinity}}
270 constexpr float f5 = 2e38f + 2e38f; // expected-error {{constant expression}} expected-note {{floating point arithmetic produces an infinity}}
271 constexpr float f6 = -2e38f - 2e38f; // expected-error {{constant expression}} expected-note {{floating point arithmetic produces an infinity}}
272 constexpr float f7 = 0.f / 0.f; // expected-error {{constant expression}} expected-note {{floating point arithmetic produces a NaN}}
297 // object defined with constexpr, or that refers to a sub-object of such an
300 constexpr V() : v(1) {}
303 constexpr V v; // expected-error {{non-literal type}}
305 constexpr S(int=0) : i(1), v(const_cast<volatile int&>(vi)) {}
306 constexpr S(const S &s) : i(2), v(const_cast<volatile int&>(vi)) {}
310 constexpr S s; // ok
311 constexpr volatile S vs; // expected-note {{here}}
312 constexpr const volatile S &vrs = s; // ok
323 constexpr volatile S f() { return S(); }
341 union U { int a, b; } constexpr u = U();
343 constexpr const int *bp = &u.b;
344 constexpr int b = *bp; // expected-error {{constant expression}} expected-note {{read of member 'b' of union with active member 'a'}}
347 constexpr const int *pua = &pu.a;
348 constexpr const int *pub = &pu.b;
349 constexpr U pu = { .b = 1 }; // expected-warning {{C99 feature}}
350 constexpr const int a2 = *pua; // expected-error {{constant expression}} expected-note {{read of member 'a' of union with active member 'b'}}
351 constexpr const int b2 = *pub; // ok
362 constexpr int e = 42;
365 constexpr int &h(); // expected-note {{here}}
367 constexpr int &j() { return b; }
389 constexpr S s { 16 };
398 constexpr S s { 16 };
434 constexpr S *p = 0;
435 constexpr const std::type_info &ti1 = typeid(*p); // expected-error {{must be initialized by a constant expression}} expected-note {{typeid applied to expression of polymorphic type 'TypeId::S'}}
438 constexpr const std::type_info &ti2 = typeid(t);
455 constexpr int *p = &a, *q = &b;
460 constexpr bool u1 = p < q; // expected-error {{constant expression}}
461 constexpr bool u2 = p > q; // expected-error {{constant expression}}
462 constexpr bool u3 = p <= q; // expected-error {{constant expression}}
463 constexpr bool u4 = p >= q; // expected-error {{constant expression}}
464 constexpr bool u5 = p < 0; // expected-error {{constant expression}}
465 constexpr bool u6 = p <= 0; // expected-error {{constant expression}}
466 constexpr bool u7 = p > 0; // expected-error {{constant expression}}
467 constexpr bool u8 = p >= 0; // expected-error {{constant expression}}
468 constexpr bool u9 = 0 < q; // expected-error {{constant expression}}
469 constexpr bool u10 = 0 <= q; // expected-error {{constant expression}}
470 constexpr bool u11 = 0 > q; // expected-error {{constant expression}}
471 constexpr bool u12 = 0 >= q; // expected-error {{constant expression}}
474 constexpr void (*pf)() = &f, (*pg)() = &g;
475 constexpr bool u13 = pf < pg; // expected-error {{constant expression}}
476 constexpr bool u14 = pf == pg;
482 constexpr A() : a(0), b(0) {}
484 constexpr bool cmp() const { return &a < &b; } // expected-note {{comparison of address of fields 'a' and 'b' of 'A' with differing access specifiers (public vs private) has unspecified value}}
492 constexpr bool cmp() const { return &a.a < &b.a; } // expected-note {{comparison of address of fields 'a' and 'b' of 'B' with differing access specifiers (public vs protected) has unspecified value}}
514 constexpr bool base1 = &e.c[0] < &e.d; // expected-error {{constant expression}} expected-note {{comparison of addresses of subobjects of different base classes has unspecified value}}
515 constexpr bool base2 = &e.c[1] < &e.e.f; // expected-error {{constant expression}} expected-note {{comparison of address of base class subobject 'C' of class 'E' to field 'e' has unspecified value}}
516 constexpr bool base3 = &e.e.f < &e.d; // expected-error {{constant expression}} expected-note {{comparison of address of base class subobject 'D' of class 'E' to field 'e' has unspecified value}}
522 constexpr void *null = 0;
523 constexpr void *pv = (void*)&s.a;
524 constexpr void *qv = (void*)&s.b;
525 constexpr bool v1 = null < 0;
526 constexpr bool v2 = null < pv; // expected-error {{constant expression}}
527 constexpr bool v3 = null == pv; // ok
528 constexpr bool v4 = qv == pv; // ok
529 constexpr bool v5 = qv >= pv; // expected-error {{constant expression}} expected-note {{unequal pointers to void}}
530 constexpr bool v6 = qv > null; // expected-error {{constant expression}}
531 constexpr bool v7 = qv <= (void*)&s.b; // ok
532 constexpr bool v8 = qv > (void*)&s.a; // expected-error {{constant expression}} expected-note {{unequal pointers to void}}
544 constexpr Literal(const char *name) : name(name) {}
548 constexpr Expr(Literal l) : IsLiteral(true), l(l) {}
556 constexpr MulEq(Expr a, Expr b) : LHS(a), RHS(b) {}
560 constexpr MulEq operator*=(Expr a, Expr b) { return MulEq(a, b); }
603 constexpr intptr_t f(intptr_t x) {
609 constexpr intptr_t i = f((intptr_t)&foo - 10); // expected-error{{constexpr variable 'i' must be initialized by a constant expression}} \