Home | History | Annotate | Download | only in Parser 
      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