1 // RUN: %clang_cc1 -fcxx-exceptions -fexceptions -fsyntax-only -verify -std=c++11 %s
2
3 // Need std::initializer_list
4 namespace std {
5 typedef decltype(sizeof(int)) size_t;
6
7 // libc++'s implementation
8 template <class _E>
9 class initializer_list
10 {
11 const _E* __begin_;
12 size_t __size_;
13
initializer_list(const _E * __b,size_t __s)14 initializer_list(const _E* __b, size_t __s)
15 : __begin_(__b),
16 __size_(__s)
17 {}
18
19 public:
20 typedef _E value_type;
21 typedef const _E& reference;
22 typedef const _E& const_reference;
23 typedef size_t size_type;
24
25 typedef const _E* iterator;
26 typedef const _E* const_iterator;
27
initializer_list()28 initializer_list() : __begin_(nullptr), __size_(0) {}
29
size() const30 size_t size() const {return __size_;}
begin() const31 const _E* begin() const {return __begin_;}
end() const32 const _E* end() const {return __begin_ + __size_;}
33 };
34 }
35
36
37 // Declaration syntax checks
38 [[]] int before_attr;
39 int [[]] between_attr;
40 const [[]] int between_attr_2 = 0; // expected-error {{an attribute list cannot appear here}}
41 int after_attr [[]];
42 int * [[]] ptr_attr;
43 int & [[]] ref_attr = after_attr;
44 int && [[]] rref_attr = 0;
45 int array_attr [1] [[]];
46 alignas(8) int aligned_attr;
47 [[test::valid(for 42 [very] **** '+' symbols went on a trip and had a "good"_time; the end.)]]
48 int garbage_attr;
49 [[,,,static, class, namespace,, inline, constexpr, mutable,, bi\
50 tand, bitor::compl(!.*_ Cx.!U^*R),,,]] int more_garbage_attr;
51 [[u8"invalid!"]] int invalid_string_attr; // expected-error {{expected ']'}}
52 void fn_attr () [[]];
53 void noexcept_fn_attr () noexcept [[]];
54 struct MemberFnOrder {
55 virtual void f() const volatile && noexcept [[]] final = 0;
56 };
57 struct [[]] struct_attr;
58 class [[]] class_attr {};
59 union [[]] union_attr;
60 [[]] struct with_init_declarators {} init_declarator;
61 [[]] struct no_init_declarators; // expected-error {{an attribute list cannot appear here}}
62 [[]];
63 struct ctordtor {
64 [[]] ctordtor();
65 [[]] ~ctordtor();
66 };
ctordtor()67 [[]] ctordtor::ctordtor() {}
~ctordtor()68 [[]] ctordtor::~ctordtor() {}
69 extern "C++" [[]] int extern_attr;
70 template <typename T> [[]] void template_attr ();
71 [[]] [[]] int [[]] [[]] multi_attr [[]] [[]];
72
73 int comma_attr [[,]];
74 int scope_attr [[foo::]]; // expected-error {{expected identifier}}
75 int (paren_attr) [[]]; // expected-error {{an attribute list cannot appear here}}
76 unsigned [[]] int attr_in_decl_spec; // expected-error {{an attribute list cannot appear here}}
77 unsigned [[]] int [[]] const double_decl_spec = 0; // expected-error 2{{an attribute list cannot appear here}}
78 class foo {
79 void const_after_attr () [[]] const; // expected-error {{expected ';'}}
80 };
81 extern "C++" [[]] { } // expected-error {{an attribute list cannot appear here}}
82 [[]] template <typename T> void before_template_attr (); // expected-error {{an attribute list cannot appear here}}
83 [[]] namespace ns { int i; } // expected-error {{an attribute list cannot appear here}} expected-note {{declared here}}
84 [[]] static_assert(true, ""); //expected-error {{an attribute list cannot appear here}}
85 [[]] asm(""); // expected-error {{an attribute list cannot appear here}}
86
87 [[]] using ns::i; // expected-error {{an attribute list cannot appear here}}
88 [[]] using namespace ns;
89
90 [[]] using T = int; // expected-error {{an attribute list cannot appear here}}
91 using T [[]] = int; // ok
92 template<typename T> using U [[]] = T;
93 using ns::i [[]]; // expected-error {{an attribute list cannot appear here}}
94 using [[]] ns::i; // expected-error {{an attribute list cannot appear here}}
95
96 auto trailing() -> [[]] const int; // expected-error {{an attribute list cannot appear here}}
97 auto trailing() -> const [[]] int; // expected-error {{an attribute list cannot appear here}}
98 auto trailing() -> const int [[]];
99 auto trailing_2() -> struct struct_attr [[]];
100
101 namespace N {
102 struct S {};
103 };
104 template<typename> struct Template {};
105
106 // FIXME: Improve this diagnostic
107 struct [[]] N::S s; // expected-error {{an attribute list cannot appear here}}
108 struct [[]] Template<int> t; // expected-error {{an attribute list cannot appear here}}
109 struct [[]] ::template Template<int> u; // expected-error {{an attribute list cannot appear here}}
110 template struct [[]] Template<char>; // expected-error {{an attribute list cannot appear here}}
111 template <> struct [[]] Template<void>;
112
113 enum [[]] E1 {};
114 enum [[]] E2; // expected-error {{forbids forward references}}
115 enum [[]] E1;
116 enum [[]] E3 : int;
117 enum [[]] {
118 k_123 [[]] = 123 // expected-error {{an attribute list cannot appear here}}
119 };
120 enum [[]] E1 e; // expected-error {{an attribute list cannot appear here}}
121 enum [[]] class E4 { }; // expected-error {{an attribute list cannot appear here}}
122 enum struct [[]] E5;
123
124 struct S {
125 friend int f [[]] (); // expected-FIXME{{an attribute list cannot appear here}}
126 [[]] friend int g(); // expected-FIXME{{an attribute list cannot appear here}}
h()127 [[]] friend int h() {
128 }
129 friend class [[]] C; // expected-error{{an attribute list cannot appear here}}
130 };
tmpl(T)131 template<typename T> void tmpl(T) {}
132 template void tmpl [[]] (int); // expected-FIXME {{an attribute list cannot appear here}}
133 template [[]] void tmpl(char); // expected-error {{an attribute list cannot appear here}}
134 template void [[]] tmpl(short);
135
136 // Argument tests
137 alignas int aligned_no_params; // expected-error {{expected '('}}
138 alignas(i) int aligned_nonconst; // expected-error {{'aligned' attribute requires integer constant}} expected-note {{read of non-const variable 'i'}}
139
140 // Statement tests
foo()141 void foo () {
142 [[]] ;
143 [[]] { }
144 [[]] if (0) { }
145 [[]] for (;;);
146 [[]] do {
147 [[]] continue;
148 } while (0);
149 [[]] while (0);
150
151 [[]] switch (i) {
152 [[]] case 0:
153 [[]] default:
154 [[]] break;
155 }
156
157 [[]] goto there;
158 [[]] there:
159
160 [[]] try {
161 } [[]] catch (...) { // expected-error {{an attribute list cannot appear here}}
162 }
163 struct S { int arr[2]; } s;
164 (void)s.arr[ [] { return 0; }() ]; // expected-error {{C++11 only allows consecutive left square brackets when introducing an attribute}}
165 int n = __builtin_offsetof(S, arr[ [] { return 0; }() ]); // expected-error {{C++11 only allows consecutive left square brackets when introducing an attribute}}
166
167 void bar [[noreturn]] ([[]] int i, [[]] int j);
168 using FuncType = void ([[]] int);
169 void baz([[]]...); // expected-error {{expected parameter declarator}}
170
171 [[]] return;
172 }
173
variadic()174 template<typename...Ts> void variadic() {
175 void bar [[noreturn...]] (); // expected-error {{attribute 'noreturn' cannot be used as an attribute pack}}
176 }
177
178 // Expression tests
bar()179 void bar () {
180 [] () [[noreturn]] { return; } (); // expected-error {{should not return}}
181 [] () [[noreturn]] { throw; } ();
182 new int[42][[]][5][[]]{};
183 }
184
185 // Condition tests
baz()186 void baz () {
187 if ([[]] bool b = true) {
188 switch ([[]] int n { 42 }) {
189 default:
190 for ([[]] int n = 0; [[]] char b = n < 5; ++b) {
191 }
192 }
193 }
194 int x;
195 // An attribute can be applied to an expression-statement, such as the first
196 // statement in a for. But it can't be applied to a condition which is an
197 // expression.
198 for ([[]] x = 0; ; ) {} // expected-error {{an attribute list cannot appear here}}
199 for (; [[]] x < 5; ) {} // expected-error {{an attribute list cannot appear here}}
200 while ([[]] bool k { false }) {
201 }
202 while ([[]] true) { // expected-error {{an attribute list cannot appear here}}
203 }
204 do {
205 } while ([[]] false); // expected-error {{an attribute list cannot appear here}}
206
207 for ([[]] int n : { 1, 2, 3 }) {
208 }
209 }
210
211 enum class __attribute__((visibility("hidden"))) SecretKeepers {
212 one, /* rest are deprecated */ two, three
213 };
214 enum class [[]] EvenMoreSecrets {};
215