1 // RUN: %clang_cc1 -fcxx-exceptions -fexceptions -fsyntax-only -verify -std=c++11 %s 2 3 // Declaration syntax checks 4 [[]] int before_attr; 5 int [[]] between_attr; 6 int after_attr [[]]; 7 int * [[]] ptr_attr; 8 int & [[]] ref_attr = after_attr; 9 int && [[]] rref_attr = 0; 10 int array_attr [1] [[]]; 11 alignas(8) int aligned_attr; 12 [[test::valid(for 42 [very] **** '+' symbols went on a trip; the end.)]] 13 int garbage_attr; 14 [[,,,static, class, namespace,, inline, constexpr, mutable,, bi\ 15 tand, bitor::compl(!.*_ Cx.!U^*R),,,]] int more_garbage_attr; 16 [[u8"invalid!"]] int invalid_string_attr; // expected-error {{expected ']'}} 17 void fn_attr () [[]]; 18 void noexcept_fn_attr () noexcept [[]]; 19 struct MemberFnOrder { 20 virtual void f() const volatile && noexcept [[]] final = 0; 21 }; 22 class [[]] class_attr {}; 23 extern "C++" [[]] int extern_attr; 24 template <typename T> [[]] void template_attr (); 25 [[]] [[]] int [[]] [[]] multi_attr [[]] [[]]; 26 27 int comma_attr [[,]]; 28 int scope_attr [[foo::]]; // expected-error {{expected identifier}} 29 int (paren_attr) [[]]; // expected-error {{an attribute list cannot appear here}} 30 unsigned [[]] int attr_in_decl_spec; // expected-error {{expected unqualified-id}} 31 class foo { 32 void const_after_attr () [[]] const; // expected-error {{expected ';'}} 33 }; 34 extern "C++" [[]] { } // expected-error {{an attribute list cannot appear here}} 35 [[]] template <typename T> void before_template_attr (); // expected-error {{an attribute list cannot appear here}} 36 [[]] namespace ns { int i; } // expected-error {{an attribute list cannot appear here}} expected-note {{declared here}} 37 [[]] static_assert(true, ""); //expected-error {{an attribute list cannot appear here}} 38 [[]] asm(""); // expected-error {{an attribute list cannot appear here}} 39 40 [[]] using ns::i; // expected-error {{an attribute list cannot appear here}} 41 [[]] using namespace ns; 42 43 // Argument tests 44 alignas int aligned_no_params; // expected-error {{expected '('}} 45 alignas(i) int aligned_nonconst; // expected-error {{'aligned' attribute requires integer constant}} expected-note {{read of non-const variable 'i'}} 46 47 // Statement tests 48 void foo () { 49 [[]] ; 50 [[]] { } 51 [[]] if (0) { } 52 [[]] for (;;); 53 [[]] do { 54 [[]] continue; 55 } while (0); 56 [[]] while (0); 57 58 [[]] switch (i) { 59 [[]] case 0: 60 [[]] default: 61 [[]] break; 62 } 63 64 [[]] goto there; 65 [[]] there: 66 67 [[]] try { 68 } [[]] catch (...) { // expected-error {{an attribute list cannot appear here}} 69 } 70 struct S { int arr[2]; } s; 71 (void)s.arr[ [] { return 0; }() ]; // expected-error {{C++11 only allows consecutive left square brackets when introducing an attribute}} 72 int n = __builtin_offsetof(S, arr[ [] { return 0; }() ]); // expected-error {{C++11 only allows consecutive left square brackets when introducing an attribute}} 73 74 void bar [[noreturn]] ([[]] int i, [[]] int j); 75 using FuncType = void ([[]] int); 76 void baz([[]]...); // expected-error {{expected parameter declarator}} 77 78 [[]] return; 79 } 80 81 template<typename...Ts> void variadic() { 82 void bar [[noreturn...]] (); // expected-error {{attribute 'noreturn' cannot be used as an attribute pack}} 83 } 84