cxx0x-attributes.cpp revision 2edf0a2520313cde900799b1eb9bd11c9c776afe
1762bb9d0ad20320b9f97a841dce57ba5e8e48b07Richard Smith// RUN: %clang_cc1 -fcxx-exceptions -fexceptions -fsyntax-only -verify -std=c++11 %s 2bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt 32edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt// Need std::initializer_list 42edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntnamespace std { 52edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt typedef decltype(sizeof(int)) size_t; 62edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt 72edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt // libc++'s implementation 82edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt template <class _E> 92edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt class initializer_list 102edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt { 112edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt const _E* __begin_; 122edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt size_t __size_; 132edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt 142edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt initializer_list(const _E* __b, size_t __s) 152edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt : __begin_(__b), 162edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt __size_(__s) 172edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt {} 182edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt 192edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt public: 202edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt typedef _E value_type; 212edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt typedef const _E& reference; 222edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt typedef const _E& const_reference; 232edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt typedef size_t size_type; 242edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt 252edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt typedef const _E* iterator; 262edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt typedef const _E* const_iterator; 272edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt 282edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt initializer_list() : __begin_(nullptr), __size_(0) {} 292edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt 302edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt size_t size() const {return __size_;} 312edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt const _E* begin() const {return __begin_;} 322edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt const _E* end() const {return __begin_ + __size_;} 332edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt }; 342edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt} 352edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt 362edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt 37bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt// Declaration syntax checks 38bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt[[]] int before_attr; 39f19076848566cb52a40ddbdb2555c53d12e9a003Peter Collingbourneint [[]] between_attr; 402edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntconst [[]] int between_attr_2 = 0; // expected-error {{an attribute list cannot appear here}} 41bbd37c62e34db3f5a95c899723484a76c71d7757Sean Huntint after_attr [[]]; 42bbd37c62e34db3f5a95c899723484a76c71d7757Sean Huntint * [[]] ptr_attr; 436ee326af4e77e6f05973486097884d7431f2108dRichard Smithint & [[]] ref_attr = after_attr; 446ee326af4e77e6f05973486097884d7431f2108dRichard Smithint && [[]] rref_attr = 0; 45bbd37c62e34db3f5a95c899723484a76c71d7757Sean Huntint array_attr [1] [[]]; 4682d0b0aab9088e977c2a44c4a5a90479c63149fePeter Collingbournealignas(8) int aligned_attr; 472edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt[[test::valid(for 42 [very] **** '+' symbols went on a trip and had a "good"_time; the end.)]] 48bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt int garbage_attr; 49c56298d87a9df507805a548d7d515e8b511df2c0Richard Smith[[,,,static, class, namespace,, inline, constexpr, mutable,, bi\ 50c56298d87a9df507805a548d7d515e8b511df2c0Richard Smithtand, bitor::compl(!.*_ Cx.!U^*R),,,]] int more_garbage_attr; 51c56298d87a9df507805a548d7d515e8b511df2c0Richard Smith[[u8"invalid!"]] int invalid_string_attr; // expected-error {{expected ']'}} 52bbd37c62e34db3f5a95c899723484a76c71d7757Sean Huntvoid fn_attr () [[]]; 536ee326af4e77e6f05973486097884d7431f2108dRichard Smithvoid noexcept_fn_attr () noexcept [[]]; 546ee326af4e77e6f05973486097884d7431f2108dRichard Smithstruct MemberFnOrder { 556ee326af4e77e6f05973486097884d7431f2108dRichard Smith virtual void f() const volatile && noexcept [[]] final = 0; 566ee326af4e77e6f05973486097884d7431f2108dRichard Smith}; 572edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntstruct [[]] struct_attr; 58bbd37c62e34db3f5a95c899723484a76c71d7757Sean Huntclass [[]] class_attr {}; 592edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntunion [[]] union_attr; 602edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt[[]] struct with_init_declarators {} init_declarator; 612edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt[[]] struct no_init_declarators; // expected-error {{an attribute list cannot appear here}} 622edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt[[]]; 632edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntstruct ctordtor { 642edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt [[]] ctordtor(); 652edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt [[]] ~ctordtor(); 662edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt}; 672edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt[[]] ctordtor::ctordtor() {} 682edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt[[]] ctordtor::~ctordtor() {} 69bbd37c62e34db3f5a95c899723484a76c71d7757Sean Huntextern "C++" [[]] int extern_attr; 70bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunttemplate <typename T> [[]] void template_attr (); 713497fdfdb742f55d7b7ec8e22779fb08962b8441Peter Collingbourne[[]] [[]] int [[]] [[]] multi_attr [[]] [[]]; 72bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt 73c56298d87a9df507805a548d7d515e8b511df2c0Richard Smithint comma_attr [[,]]; 74bbd37c62e34db3f5a95c899723484a76c71d7757Sean Huntint scope_attr [[foo::]]; // expected-error {{expected identifier}} 756ee326af4e77e6f05973486097884d7431f2108dRichard Smithint (paren_attr) [[]]; // expected-error {{an attribute list cannot appear here}} 762edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntunsigned [[]] int attr_in_decl_spec; // expected-error {{an attribute list cannot appear here}} 772edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntunsigned [[]] int [[]] const double_decl_spec = 0; // expected-error 2{{an attribute list cannot appear here}} 78bbd37c62e34db3f5a95c899723484a76c71d7757Sean Huntclass foo { 796ee326af4e77e6f05973486097884d7431f2108dRichard Smith void const_after_attr () [[]] const; // expected-error {{expected ';'}} 80bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt}; 81bbd37c62e34db3f5a95c899723484a76c71d7757Sean Huntextern "C++" [[]] { } // expected-error {{an attribute list cannot appear here}} 82bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt[[]] template <typename T> void before_template_attr (); // expected-error {{an attribute list cannot appear here}} 83282e7e66748cc6dd14d6f7f2cb52e5373c531e61Richard Smith[[]] namespace ns { int i; } // expected-error {{an attribute list cannot appear here}} expected-note {{declared here}} 84bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt[[]] static_assert(true, ""); //expected-error {{an attribute list cannot appear here}} 85bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt[[]] asm(""); // expected-error {{an attribute list cannot appear here}} 86bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt 87bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt[[]] using ns::i; // expected-error {{an attribute list cannot appear here}} 88bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt[[]] using namespace ns; 89bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt 902edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt[[]] using T = int; // expected-error {{an attribute list cannot appear here}} 912edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntusing T [[]] = int; // ok 922edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunttemplate<typename T> using U [[]] = T; 932edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntusing ns::i [[]]; // expected-error {{an attribute list cannot appear here}} 942edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntusing [[]] ns::i; // expected-error {{an attribute list cannot appear here}} 952edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt 962edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntauto trailing() -> [[]] const int; // expected-error {{an attribute list cannot appear here}} 972edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntauto trailing() -> const [[]] int; // expected-error {{an attribute list cannot appear here}} 982edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntauto trailing() -> const int [[]]; 992edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntauto trailing_2() -> struct struct_attr [[]]; 1002edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt 1012edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntnamespace N { 1022edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt struct S {}; 1032edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt}; 1042edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunttemplate<typename> struct Template {}; 1052edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt 1062edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt// FIXME: Improve this diagnostic 1072edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntstruct [[]] N::S s; // expected-error {{an attribute list cannot appear here}} 1082edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntstruct [[]] Template<int> t; // expected-error {{an attribute list cannot appear here}} 1092edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntstruct [[]] ::template Template<int> u; // expected-error {{an attribute list cannot appear here}} 1102edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunttemplate struct [[]] Template<char>; // expected-error {{an attribute list cannot appear here}} 1112edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunttemplate <> struct [[]] Template<void>; 1122edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt 1132edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntenum [[]] E1 {}; 1142edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntenum [[]] E2; // expected-error {{forbids forward references}} 1152edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntenum [[]] E1; 1162edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntenum [[]] E3 : int; 1172edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntenum [[]] { 1182edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt k_123 [[]] = 123 // expected-error {{an attribute list cannot appear here}} 1192edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt}; 1202edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntenum [[]] E1 e; // expected-error {{an attribute list cannot appear here}} 1212edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntenum [[]] class E4 { }; // expected-error {{an attribute list cannot appear here}} 1222edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntenum struct [[]] E5; 1232edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt 1242edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntstruct S { 1252edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt friend int f [[]] (); // expected-FIXME{{an attribute list cannot appear here}} 1262edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt [[]] friend int g(); // expected-FIXME{{an attribute list cannot appear here}} 1272edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt [[]] friend int h() { 1282edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt } 1292edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt friend class [[]] C; // expected-error{{an attribute list cannot appear here}} 1302edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt}; 1312edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunttemplate<typename T> void tmpl(T) {} 1322edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunttemplate void tmpl [[]] (int); // expected-FIXME {{an attribute list cannot appear here}} 1332edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunttemplate [[]] void tmpl(char); // expected-error {{an attribute list cannot appear here}} 1342edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunttemplate void [[]] tmpl(short); 1352edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt 136bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt// Argument tests 13782d0b0aab9088e977c2a44c4a5a90479c63149fePeter Collingbournealignas int aligned_no_params; // expected-error {{expected '('}} 138282e7e66748cc6dd14d6f7f2cb52e5373c531e61Richard Smithalignas(i) int aligned_nonconst; // expected-error {{'aligned' attribute requires integer constant}} expected-note {{read of non-const variable 'i'}} 139bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt 140bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt// Statement tests 141bbd37c62e34db3f5a95c899723484a76c71d7757Sean Huntvoid foo () { 142bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt [[]] ; 143bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt [[]] { } 144bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt [[]] if (0) { } 145bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt [[]] for (;;); 146bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt [[]] do { 147bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt [[]] continue; 148bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt } while (0); 149bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt [[]] while (0); 150bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt 151bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt [[]] switch (i) { 152bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt [[]] case 0: 153bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt [[]] default: 154bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt [[]] break; 155bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt } 156bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt 157bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt [[]] goto there; 158bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt [[]] there: 159bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt 160bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt [[]] try { 161bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt } [[]] catch (...) { // expected-error {{an attribute list cannot appear here}} 162bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt } 1636ee326af4e77e6f05973486097884d7431f2108dRichard Smith struct S { int arr[2]; } s; 1646ee326af4e77e6f05973486097884d7431f2108dRichard Smith (void)s.arr[ [] { return 0; }() ]; // expected-error {{C++11 only allows consecutive left square brackets when introducing an attribute}} 1656ee326af4e77e6f05973486097884d7431f2108dRichard Smith int n = __builtin_offsetof(S, arr[ [] { return 0; }() ]); // expected-error {{C++11 only allows consecutive left square brackets when introducing an attribute}} 1666ee326af4e77e6f05973486097884d7431f2108dRichard Smith 1676ce48a70ace62eb0eaf7b2769d05c5f13b7c7b6cRichard Smith void bar [[noreturn]] ([[]] int i, [[]] int j); 1686ce48a70ace62eb0eaf7b2769d05c5f13b7c7b6cRichard Smith using FuncType = void ([[]] int); 1696ce48a70ace62eb0eaf7b2769d05c5f13b7c7b6cRichard Smith void baz([[]]...); // expected-error {{expected parameter declarator}} 1706ce48a70ace62eb0eaf7b2769d05c5f13b7c7b6cRichard Smith 171bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt [[]] return; 172bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt} 173c56298d87a9df507805a548d7d515e8b511df2c0Richard Smith 174c56298d87a9df507805a548d7d515e8b511df2c0Richard Smithtemplate<typename...Ts> void variadic() { 175c56298d87a9df507805a548d7d515e8b511df2c0Richard Smith void bar [[noreturn...]] (); // expected-error {{attribute 'noreturn' cannot be used as an attribute pack}} 176c56298d87a9df507805a548d7d515e8b511df2c0Richard Smith} 1772edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt 1782edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt// Expression tests 1792edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntvoid bar () { 1802edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt [] () [[noreturn]] { return; } (); // expected-error {{should not return}} 1812edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt [] () [[noreturn]] { throw; } (); 1822edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt new int[42][[]][5][[]]{}; 1832edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt} 1842edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt 1852edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt// Condition tests 1862edf0a2520313cde900799b1eb9bd11c9c776afeSean Huntvoid baz () { 1872edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt if ([[]] bool b = true) { 1882edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt switch ([[]] int n { 42 }) { 1892edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt default: 1902edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt for ([[]] int n = 0; [[]] char b = n < 5; ++b) { 1912edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt } 1922edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt } 1932edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt } 1942edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt int x; 1952edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt // An attribute can be applied to an expression-statement, such as the first 1962edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt // statement in a for. But it can't be applied to a condition which is an 1972edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt // expression. 1982edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt for ([[]] x = 0; ; ) {} // expected-error {{an attribute list cannot appear here}} 1992edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt for (; [[]] x < 5; ) {} // expected-error {{an attribute list cannot appear here}} 2002edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt while ([[]] bool k { false }) { 2012edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt } 2022edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt while ([[]] true) { // expected-error {{an attribute list cannot appear here}} 2032edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt } 2042edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt do { 2052edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt } while ([[]] false); // expected-error {{an attribute list cannot appear here}} 2062edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt 2072edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt for ([[]] int n : { 1, 2, 3 }) { 2082edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt } 2092edf0a2520313cde900799b1eb9bd11c9c776afeSean Hunt} 210