111
|
1 // Example from issue 1125 drafting; D() and v were well-formed with the
|
|
2 // wording approved in Rapperswil, now seems they should be ill-formed.
|
|
3 // { dg-do compile { target c++11 } }
|
|
4
|
|
5 struct B {
|
|
6 constexpr B(int x) : i(0) { } // "x" is unused
|
|
7 int i;
|
|
8 };
|
|
9
|
|
10 int global; // { dg-message "not const" }
|
|
11
|
|
12 struct D : B {
|
|
13 constexpr D() : B(global) { } // { dg-error "global|argument" }
|
|
14 };
|
|
15
|
|
16 struct A2 {
|
|
17 constexpr A2(bool b, int x) : m(b ? 42 : x) { }
|
|
18 int m;
|
|
19 };
|
|
20
|
|
21 // ok, constructor call initializes m with the value 42 after substitution
|
|
22 constexpr int v = A2(true, global).m; // { dg-error "global" }
|
|
23 // error: initializer for m is "x", which is non-constant
|
|
24 constexpr int w = A2(false, global).m; // { dg-error "global" }
|