1 // RUN: %clang_cc1 -fcxx-exceptions -fexceptions -fsyntax-only -verify -std=c++11 -Wc++14-compat -Wc++14-extensions -Wc++1z-extensions %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 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 28 initializer_list() : __begin_(nullptr), __size_(0) {} 29 30 size_t size() const {return __size_;} 31 const _E* begin() const {return __begin_;} 32 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 & [[unknown]] ref_attr_2 = after_attr; // expected-warning {{unknown attribute 'unknown' ignored}} 45 int & [[noreturn]] ref_attr_3 = after_attr; // expected-error {{'noreturn' attribute cannot be applied to types}} 46 int && [[]] rref_attr = 0; 47 int array_attr [1] [[]]; 48 alignas(8) int aligned_attr; 49 [[test::valid(for 42 [very] **** '+' symbols went on a trip and had a "good"_time; the end.)]] int garbage_attr; // expected-warning {{unknown attribute 'valid' ignored}} 50 [[,,,static, class, namespace,, inline, constexpr, mutable,, bitand, bitor::compl(!.*_ Cx.!U^*R),,,]] int more_garbage_attr; // expected-warning {{unknown attribute 'static' ignored}} \ 51 // expected-warning {{unknown attribute 'class' ignored}} \ 52 // expected-warning {{unknown attribute 'namespace' ignored}} \ 53 // expected-warning {{unknown attribute 'inline' ignored}} \ 54 // expected-warning {{unknown attribute 'constexpr' ignored}} \ 55 // expected-warning {{unknown attribute 'mutable' ignored}} \ 56 // expected-warning {{unknown attribute 'bitand' ignored}} \ 57 // expected-warning {{unknown attribute 'compl' ignored}} 58 [[u8"invalid!"]] int invalid_string_attr; // expected-error {{expected ']'}} 59 void fn_attr () [[]]; 60 void noexcept_fn_attr () noexcept [[]]; 61 struct MemberFnOrder { 62 virtual void f() const volatile && noexcept [[]] final = 0; 63 }; 64 struct [[]] struct_attr; 65 class [[]] class_attr {}; 66 union [[]] union_attr; 67 68 // Checks attributes placed at wrong syntactic locations of class specifiers. 69 class [[]] [[]] 70 attr_after_class_name_decl [[]] [[]]; // expected-error {{an attribute list cannot appear here}} 71 72 class [[]] [[]] 73 attr_after_class_name_definition [[]] [[]] [[]]{}; // expected-error {{an attribute list cannot appear here}} 74 75 class [[]] c {}; 76 class c [[]] [[]] x; 77 class c [[]] [[]] y [[]] [[]]; 78 class c final [(int){0}]; 79 80 class base {}; 81 class [[]] [[]] final_class 82 alignas(float) [[]] final // expected-error {{an attribute list cannot appear here}} 83 alignas(float) [[]] [[]] alignas(float): base{}; // expected-error {{an attribute list cannot appear here}} 84 85 class [[]] [[]] final_class_another 86 [[]] [[]] alignas(16) final // expected-error {{an attribute list cannot appear here}} 87 [[]] [[]] alignas(16) [[]]{}; // expected-error {{an attribute list cannot appear here}} 88 89 // The diagnostics here don't matter much, this just shouldn't crash: 90 class C final [[deprecated(l]] {}); // expected-error {{use of undeclared identifier}} expected-error {{expected ']'}} expected-error {{an attribute list cannot appear here}} expected-error {{expected unqualified-id}} 91 class D final alignas ([l) {}]{}); // expected-error {{expected ',' or ']' in lambda capture list}} expected-error {{an attribute list cannot appear here}} 92 93 [[]] struct with_init_declarators {} init_declarator; 94 [[]] struct no_init_declarators; // expected-error {{an attribute list cannot appear here}} 95 template<typename> [[]] struct no_init_declarators_template; // expected-error {{an attribute list cannot appear here}} 96 void fn_with_structs() { 97 [[]] struct with_init_declarators {} init_declarator; 98 [[]] struct no_init_declarators; // expected-error {{an attribute list cannot appear here}} 99 } 100 [[]]; 101 struct ctordtor { 102 [[]] ctordtor(); 103 [[]] ~ctordtor(); 104 }; 105 [[]] ctordtor::ctordtor() {} 106 [[]] ctordtor::~ctordtor() {} 107 extern "C++" [[]] int extern_attr; 108 template <typename T> [[]] void template_attr (); 109 [[]] [[]] int [[]] [[]] multi_attr [[]] [[]]; 110 111 int comma_attr [[,]]; 112 int scope_attr [[foo::]]; // expected-error {{expected identifier}} 113 int (paren_attr) [[]]; // expected-error {{an attribute list cannot appear here}} 114 unsigned [[]] int attr_in_decl_spec; // expected-error {{an attribute list cannot appear here}} 115 unsigned [[]] int [[]] const double_decl_spec = 0; // expected-error 2{{an attribute list cannot appear here}} 116 class foo { 117 void const_after_attr () [[]] const; // expected-error {{expected ';'}} 118 }; 119 extern "C++" [[]] { } // expected-error {{an attribute list cannot appear here}} 120 [[]] template <typename T> void before_template_attr (); // expected-error {{an attribute list cannot appear here}} 121 [[]] namespace ns { int i; } // expected-error {{an attribute list cannot appear here}} expected-note {{declared here}} 122 [[]] static_assert(true, ""); //expected-error {{an attribute list cannot appear here}} 123 [[]] asm(""); // expected-error {{an attribute list cannot appear here}} 124 125 [[]] using ns::i; // expected-error {{an attribute list cannot appear here}} 126 [[unknown]] using namespace ns; // expected-warning {{unknown attribute 'unknown' ignored}} 127 [[noreturn]] using namespace ns; // expected-error {{'noreturn' attribute only applies to functions}} 128 namespace [[]] ns2 {} // expected-warning {{attributes on a namespace declaration are incompatible with C++ standards before C++1z}} 129 130 using [[]] alignas(4) [[]] ns::i; // expected-error {{an attribute list cannot appear here}} 131 using [[]] alignas(4) [[]] foobar = int; // expected-error {{an attribute list cannot appear here}} expected-error {{'alignas' attribute only applies to}} 132 133 void bad_attributes_in_do_while() { 134 do {} while ( 135 [[ns::i); // expected-error {{expected ']'}} \ 136 // expected-note {{to match this '['}} \ 137 // expected-error {{expected expression}} 138 do {} while ( 139 [[a]b ns::i); // expected-error {{expected ']'}} \ 140 // expected-note {{to match this '['}} \ 141 // expected-error {{expected expression}} 142 do {} while ( 143 [[ab]ab] ns::i); // expected-error {{an attribute list cannot appear here}} 144 do {} while ( // expected-note {{to match this '('}} 145 alignas(4 ns::i; // expected-note {{to match this '('}} 146 } // expected-error 2{{expected ')'}} expected-error {{expected expression}} 147 148 [[]] using T = int; // expected-error {{an attribute list cannot appear here}} 149 using T [[]] = int; // ok 150 template<typename T> using U [[]] = T; 151 using ns::i [[]]; // expected-error {{an attribute list cannot appear here}} 152 using [[]] ns::i; // expected-error {{an attribute list cannot appear here}} 153 using T [[unknown]] = int; // expected-warning {{unknown attribute 'unknown' ignored}} 154 using T [[noreturn]] = int; // expected-error {{'noreturn' attribute only applies to functions}} 155 using V = int; // expected-note {{previous}} 156 using V [[gnu::vector_size(16)]] = int; // expected-error {{redefinition with different types}} 157 158 auto trailing() -> [[]] const int; // expected-error {{an attribute list cannot appear here}} 159 auto trailing() -> const [[]] int; // expected-error {{an attribute list cannot appear here}} 160 auto trailing() -> const int [[]]; 161 auto trailing_2() -> struct struct_attr [[]]; 162 163 namespace N { 164 struct S {}; 165 }; 166 template<typename> struct Template {}; 167 168 // FIXME: Improve this diagnostic 169 struct [[]] N::S s; // expected-error {{an attribute list cannot appear here}} 170 struct [[]] Template<int> t; // expected-error {{an attribute list cannot appear here}} 171 struct [[]] ::template Template<int> u; // expected-error {{an attribute list cannot appear here}} 172 template struct [[]] Template<char>; // expected-error {{an attribute list cannot appear here}} 173 template <> struct [[]] Template<void>; 174 175 enum [[]] E1 {}; 176 enum [[]] E2; // expected-error {{forbids forward references}} 177 enum [[]] E1; 178 enum [[]] E3 : int; 179 enum [[]] { 180 k_123 [[]] = 123 // expected-warning {{attributes on an enumerator declaration are incompatible with C++ standards before C++1z}} 181 }; 182 enum [[]] E1 e; // expected-error {{an attribute list cannot appear here}} 183 enum [[]] class E4 { }; // expected-error {{an attribute list cannot appear here}} 184 enum struct [[]] E5; 185 186 struct S { 187 friend int f [[]] (); // expected-FIXME{{an attribute list cannot appear here}} 188 friend int f1 [[noreturn]] (); //expected-error{{an attribute list cannot appear here}} 189 friend int f2 [[]] [[noreturn]] () {} 190 [[]] friend int g(); // expected-error{{an attribute list cannot appear here}} 191 [[]] friend int h() { 192 } 193 [[]] friend int f3(), f4(), f5(); // expected-error{{an attribute list cannot appear here}} 194 friend int f6 [[noreturn]] (), f7 [[noreturn]] (), f8 [[noreturn]] (); // expected-error3 {{an attribute list cannot appear here}} 195 friend class [[]] C; // expected-error{{an attribute list cannot appear here}} 196 [[]] friend class D; // expected-error{{an attribute list cannot appear here}} 197 [[]] friend int; // expected-error{{an attribute list cannot appear here}} 198 }; 199 template<typename T> void tmpl(T) {} 200 template void tmpl [[]] (int); // expected-FIXME {{an attribute list cannot appear here}} 201 template [[]] void tmpl(char); // expected-error {{an attribute list cannot appear here}} 202 template void [[]] tmpl(short); 203 204 // Argument tests 205 alignas int aligned_no_params; // expected-error {{expected '('}} 206 alignas(i) int aligned_nonconst; // expected-error {{'aligned' attribute requires integer constant}} expected-note {{read of non-const variable 'i'}} 207 208 // Statement tests 209 void foo () { 210 [[]] ; 211 [[]] { } 212 [[]] if (0) { } 213 [[]] for (;;); 214 [[]] do { 215 [[]] continue; 216 } while (0); 217 [[]] while (0); 218 219 [[]] switch (i) { 220 [[]] case 0: 221 [[]] default: 222 [[]] break; 223 } 224 225 [[]] goto there; 226 [[]] there: 227 228 [[]] try { 229 } [[]] catch (...) { // expected-error {{an attribute list cannot appear here}} 230 } 231 struct S { int arr[2]; } s; 232 (void)s.arr[ [] { return 0; }() ]; // expected-error {{C++11 only allows consecutive left square brackets when introducing an attribute}} 233 int n = __builtin_offsetof(S, arr[ [] { return 0; }() ]); // expected-error {{C++11 only allows consecutive left square brackets when introducing an attribute}} 234 235 void bar [[noreturn]] ([[]] int i, [[]] int j); 236 using FuncType = void ([[]] int); 237 void baz([[]]...); // expected-error {{expected parameter declarator}} 238 239 [[]] return; 240 } 241 242 template<typename...Ts> void variadic() { 243 void bar [[noreturn...]] (); // expected-error {{attribute 'noreturn' cannot be used as an attribute pack}} 244 } 245 246 // Expression tests 247 void bar () { 248 // FIXME: GCC accepts [[gnu::noreturn]] on a lambda, even though it appertains 249 // to the operator()'s type, and GCC does not otherwise accept attributes 250 // applied to types. Use that to test this. 251 [] () [[gnu::noreturn]] { return; } (); // expected-warning {{attribute 'noreturn' ignored}} FIXME-error {{should not return}} 252 [] () [[gnu::noreturn]] { throw; } (); // expected-warning {{attribute 'noreturn' ignored}} 253 new int[42][[]][5][[]]{}; 254 } 255 256 // Condition tests 257 void baz () { 258 if ([[unknown]] bool b = true) { // expected-warning {{unknown attribute 'unknown' ignored}} 259 switch ([[unknown]] int n { 42 }) { // expected-warning {{unknown attribute 'unknown' ignored}} 260 default: 261 for ([[unknown]] int n = 0; [[unknown]] char b = n < 5; ++b) { // expected-warning 2{{unknown attribute 'unknown' ignored}} 262 } 263 } 264 } 265 int x; 266 // An attribute can be applied to an expression-statement, such as the first 267 // statement in a for. But it can't be applied to a condition which is an 268 // expression. 269 for ([[]] x = 0; ; ) {} // expected-error {{an attribute list cannot appear here}} 270 for (; [[]] x < 5; ) {} // expected-error {{an attribute list cannot appear here}} 271 while ([[]] bool k { false }) { 272 } 273 while ([[]] true) { // expected-error {{an attribute list cannot appear here}} 274 } 275 do { 276 } while ([[]] false); // expected-error {{an attribute list cannot appear here}} 277 278 for ([[unknown]] int n : { 1, 2, 3 }) { // expected-warning {{unknown attribute 'unknown' ignored}} 279 } 280 } 281 282 enum class __attribute__((visibility("hidden"))) SecretKeepers { 283 one, /* rest are deprecated */ two, three 284 }; 285 enum class [[]] EvenMoreSecrets {}; 286 287 namespace arguments { 288 void f[[gnu::format(printf, 1, 2)]](const char*, ...); 289 void g() [[unknown::foo(ignore arguments for unknown attributes, even with symbols!)]]; // expected-warning {{unknown attribute 'foo' ignored}} 290 [[deprecated("with argument")]] int i; 291 // expected-warning@-1 {{use of the 'deprecated' attribute is a C++14 extension}} 292 } 293 294 // Forbid attributes on decl specifiers. 295 unsigned [[gnu::used]] static int [[gnu::unused]] v1; // expected-error {{'unused' attribute cannot be applied to types}} \ 296 expected-error {{an attribute list cannot appear here}} 297 typedef [[gnu::used]] unsigned long [[gnu::unused]] v2; // expected-error {{'unused' attribute cannot be applied to types}} \ 298 expected-error {{an attribute list cannot appear here}} 299 int [[carries_dependency]] foo(int [[carries_dependency]] x); // expected-error 2{{'carries_dependency' attribute cannot be applied to types}} 300 301 // Forbid [[gnu::...]] attributes on declarator chunks. 302 int *[[gnu::unused]] v3; // expected-warning {{attribute 'unused' ignored}} 303 int v4[2][[gnu::unused]]; // expected-warning {{attribute 'unused' ignored}} 304 int v5()[[gnu::unused]]; // expected-warning {{attribute 'unused' ignored}} 305 306 [[attribute_declaration]]; // expected-warning {{unknown attribute 'attribute_declaration' ignored}} 307 [[noreturn]]; // expected-error {{'noreturn' attribute only applies to functions}} 308 [[carries_dependency]]; // expected-error {{'carries_dependency' attribute only applies to functions, methods, and parameters}} 309 310 class A { 311 A([[gnu::unused]] int a); 312 }; 313 A::A([[gnu::unused]] int a) {} 314 315 namespace GccConst { 316 // GCC's tokenizer treats const and __const as the same token. 317 [[gnu::const]] int *f1(); 318 [[gnu::__const]] int *f2(); 319 [[gnu::__const__]] int *f3(); 320 void f(const int *); 321 void g() { f(f1()); f(f2()); } 322 void h() { f(f3()); } 323 } 324 325 namespace GccASan { 326 __attribute__((no_address_safety_analysis)) void f1(); 327 __attribute__((no_sanitize_address)) void f2(); 328 [[gnu::no_address_safety_analysis]] void f3(); 329 [[gnu::no_sanitize_address]] void f4(); 330 } 331 332 namespace { 333 [[deprecated]] void bar(); 334 // expected-warning@-1 {{use of the 'deprecated' attribute is a C++14 extension}} 335 [[deprecated("hello")]] void baz(); 336 // expected-warning@-1 {{use of the 'deprecated' attribute is a C++14 extension}} 337 [[deprecated()]] void foo(); 338 // expected-error@-1 {{parentheses must be omitted if 'deprecated' attribute's argument list is empty}} 339 [[gnu::deprecated()]] void quux(); 340 } 341 342 namespace { 343 [[ // expected-error {{expected ']'}} 344 #pragma pack(pop) 345 deprecated 346 ]] void bad(); 347 } 348 349 int fallthru(int n) { 350 switch (n) { 351 case 0: 352 n += 5; 353 [[fallthrough]]; // expected-warning {{use of the 'fallthrough' attribute is a C++1z extension}} 354 case 1: 355 n *= 2; 356 break; 357 } 358 return n; 359 } 360 361 #define attr_name bitand 362 #define attr_name_2(x) x 363 #define attr_name_3(x, y) x##y 364 [[attr_name, attr_name_2(bitor), attr_name_3(com, pl)]] int macro_attrs; // expected-warning {{unknown attribute 'compl' ignored}} \ 365 expected-warning {{unknown attribute 'bitor' ignored}} \ 366 expected-warning {{unknown attribute 'bitand' ignored}} 367
