1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
| // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
// New exciting ambiguities in C++11
// final 'context sensitive' mess.
namespace final {
struct S { int n; };
struct T { int n; };
namespace N {
int n;
// These declare variables named final..
extern struct S final;
extern struct S final [[]];
extern struct S final, foo;
struct S final = S();
// This defines a class, not a variable, even though it would successfully
// parse as a variable but not as a class. DR1318's wording suggests that
// this disambiguation is only performed on an ambiguity, but that was not
// the intent.
struct S final { // expected-note {{here}}
int(n) // expected-error {{expected ';'}}
};
// This too.
struct T final : S {}; // expected-error {{base 'S' is marked 'final'}}
struct T bar : S {}; // expected-error {{expected ';' after top level declarator}} expected-error {{expected unqualified-id}}
}
// _Alignas isn't allowed in the places where alignas is. We used to
// assert on this.
struct U final _Alignas(4) {}; // expected-error 3{{}} expected-note {{}}
}
// enum versus bitfield mess.
namespace bitfield {
enum E {};
struct T {
constexpr T() {}
constexpr T(int) {}
constexpr T(T, T, T, T) {}
constexpr T operator=(T) const { return *this; }
constexpr operator int() const { return 4; }
};
constexpr T a, b, c, d;
struct S1 {
enum E : T ( a = 1, b = 2, c = 3, 4 ); // ok, declares a bitfield
};
// This could be a bit-field.
struct S2 {
enum E : T { a = 1, b = 2, c = 3, 4 }; // expected-error {{non-integral type}} expected-error {{expected identifier}}
};
struct S3 {
enum E : int { a = 1, b = 2, c = 3, d }; // ok, defines an enum
};
// Ambiguous.
struct S4 {
enum E : int { a = 1 }; // ok, defines an enum
};
// This could be a bit-field, but would be ill-formed due to the anonymous
// member being initialized.
struct S5 {
enum E : int { a = 1 } { b = 2 }; // expected-error {{expected ';' after enum}} expected-error {{expected member name}}
};
// This could be a bit-field.
struct S6 {
enum E : int { 1 }; // expected-error {{expected identifier}}
};
struct U {
constexpr operator T() const { return T(); } // expected-note 2{{candidate}}
};
// This could be a bit-field.
struct S7 {
enum E : int { a = U() }; // expected-error {{no viable conversion}}
};
// This could be a bit-field, and does not conform to the grammar of an
// enum definition, because 'id(U())' is not a constant-expression.
constexpr const U &id(const U &u) { return u; }
struct S8 {
enum E : int { a = id(U()) }; // expected-error {{no viable conversion}}
};
}
namespace trailing_return {
typedef int n;
int a;
struct S {
S(int);
S *operator()(...) const;
int n;
};
namespace N {
void f() {
// This parses as a function declaration, but DR1223 makes the presence of
// 'auto' be used for disambiguation.
S(a)()->n; // ok, expression; expected-warning{{expression result unused}}
S(a)(int())->n; // ok, expression; expected-warning{{expression result unused}}
auto(a)()->n; // ok, function declaration
auto(b)(int())->n; // ok, function declaration
using T = decltype(a);
using T = auto() -> n;
}
}
}
namespace ellipsis {
template<typename...T>
struct S {
void e(S::S()); // expected-error {{is a constructor name}}
void f(S(...args[sizeof(T)])); // expected-note {{here}} expected-note {{here}}
void f(S(...args)[sizeof(T)]); // expected-error {{redeclared}}
void f(S ...args[sizeof(T)]); // expected-error {{redeclared}}
void g(S(...[sizeof(T)])); // expected-note {{here}} expected-warning {{ISO C++11 requires a parenthesized pack declaration to have a name}}
void g(S(...)[sizeof(T)]); // expected-error {{function cannot return array type}}
void g(S ...[sizeof(T)]); // expected-error {{redeclared}}
void h(T(...)); // function type, expected-error {{unexpanded parameter pack}}
void h(T...); // pack expansion, ok
void i(int(T...)); // expected-note {{here}}
void i(int(T...a)); // expected-error {{redeclared}}
void i(int(T, ...)); // function type, expected-error {{unexpanded parameter pack}}
void i(int(T, ...a)); // expected-error {{expected ')'}} expected-note {{to match}} expected-error {{unexpanded parameter pack}}
void j(int(int...)); // function type, ok
void j(int(int...a)); // expected-error {{does not contain any unexpanded parameter packs}}
void j(T(int...)); // expected-error {{unexpanded parameter pack}}
void j(T(T...)); // expected-error {{unexpanded parameter pack}}
void k(int(...)(T)); // expected-error {{cannot return function type}}
void k(int ...(T));
void l(int(&...)(T)); // expected-warning {{ISO C++11 requires a parenthesized pack declaration to have a name}}
void l(int(*...)(T)); // expected-warning {{ISO C++11 requires a parenthesized pack declaration to have a name}}
void l(int(S<int>::*...)(T)); // expected-warning {{ISO C++11 requires a parenthesized pack declaration to have a name}}
};
struct CtorSink {
template <typename ...T> constexpr CtorSink(T &&...t) { }
constexpr operator int() const { return 42; }
};
template <unsigned ...N> struct UnsignedTmplArgSink;
template <typename ...T>
void foo(int x, T ...t) {
// Have a variety of cases where the syntax is technically unambiguous, but hinges on careful treatment of ellipses.
CtorSink(t ...), x; // ok, expression; expected-warning 2{{expression result unused}}
int x0(CtorSink(t ...)); // ok, declares object x0
int *p0 = &x0;
(void)p0;
CtorSink x1(int(t) ..., int(x)); // ok, declares object x1
CtorSink *p1 = &x1;
(void)p1;
UnsignedTmplArgSink<T(CtorSink(t ...)) ...> *t0; // ok
UnsignedTmplArgSink<((T *)0, 42u) ...> **t0p = &t0;
}
template void foo(int, int, int); // expected-note {{in instantiation of function template specialization 'ellipsis::foo<int, int>' requested here}}
}
namespace braced_init_list {
struct X {
void foo() {}
};
void (*pf1)() {};
void (X::*pmf1)() {&X::foo};
void (X::*pmf2)() = {&X::foo};
void test() {
void (*pf2)() {};
void (X::*pmf3)() {&X::foo};
void (X::*pmf4)() = {&X::foo};
}
}
|