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
foo()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
variadic()81 template<typename...Ts> void variadic() {
82 void bar [[noreturn...]] (); // expected-error {{attribute 'noreturn' cannot be used as an attribute pack}}
83 }
84