1 // RUN: %clang_cc1 %s -std=c++17 -fsyntax-only -fcxx-exceptions -verify 2 3 struct S1 { 4 void f() [[clang::annotate_type("foo")]]; 5 [[clang::annotate_type("foo")]] void g(); // expected-error {{'annotate_type' attribute cannot be applied to a declaration}} 6 }; 7 8 template <typename T1, typename T2> struct is_same { 9 static constexpr bool value = false; 10 }; 11 12 template <typename T1> struct is_same<T1, T1> { 13 static constexpr bool value = true; 14 }; 15 16 static_assert(is_same<int, int [[clang::annotate_type("foo")]]>::value); 17 static_assert(is_same<int [[clang::annotate_type("foo")]], 18 int [[clang::annotate_type("bar")]]>::value); 19 static_assert(is_same<int *, int *[[clang::annotate_type("foo")]]>::value); 20 21 // Cannot overload on types that only differ by `annotate_type` attribute. f(int)22void f(int) {} // expected-note {{previous definition is here}} f(int)23void f(int [[clang::annotate_type("foo")]]) {} // expected-error {{redefinition of 'f'}} 24 25 // Cannot specialize on types that only differ by `annotate_type` attribute. 26 template <class T> struct S2 {}; 27 28 template <> struct S2<int> {}; // expected-note {{previous definition is here}} 29 30 template <> 31 struct S2<int [[clang::annotate_type("foo")]]> {}; // expected-error {{redefinition of 'S2<int>'}} 32 33 // Test that the attribute supports parameter pack expansion. variadic_func_template()34template <int... Is> void variadic_func_template() { 35 int [[clang::annotate_type("foo", Is...)]] val; 36 } f2()37int f2() { variadic_func_template<1, 2, 3>(); } 38 39 // Make sure we correctly diagnose wrong number of arguments for 40 // [[clang::annotate_type]] inside a template argument. 41 template <typename Ty> void func_template(); f3()42void f3() { 43 func_template<int [[clang::annotate_type()]]>(); // expected-error {{'annotate_type' attribute takes at least 1 argument}} 44 } 45 46 // More error cases: Prohibit adding the attribute to declarations. 47 // Different declarations hit different code paths, so they need separate tests. 48 namespace [[clang::annotate_type("foo")]] my_namespace {} // expected-error {{'annotate_type' attribute cannot be applied to a declaration}} 49 struct [[clang::annotate_type("foo")]] S3; // expected-error {{'annotate_type' attribute cannot be applied to a declaration}} 50 struct [[clang::annotate_type("foo")]] S3{ // expected-error {{'annotate_type' attribute cannot be applied to a declaration}} 51 [[clang::annotate_type("foo")]] int member; // expected-error {{'annotate_type' attribute cannot be applied to a declaration}} 52 }; f4()53void f4() { 54 for ([[clang::annotate_type("foo")]] int i = 0; i < 42; ++i) {} // expected-error {{'annotate_type' attribute cannot be applied to a declaration}} 55 for (; [[clang::annotate_type("foo")]] bool b = false;) {} // expected-error {{'annotate_type' attribute cannot be applied to a declaration}} 56 while ([[clang::annotate_type("foo")]] bool b = false) {} // expected-error {{'annotate_type' attribute cannot be applied to a declaration}} 57 if ([[clang::annotate_type("foo")]] bool b = false) {} // expected-error {{'annotate_type' attribute cannot be applied to a declaration}} 58 try { 59 } catch ([[clang::annotate_type("foo")]] int i) { // expected-error {{'annotate_type' attribute cannot be applied to a declaration}} 60 } 61 } 62 template <class T> 63 [[clang::annotate_type("foo")]] T var_template; // expected-error {{'annotate_type' attribute cannot be applied to a declaration}} 64 [[clang::annotate_type("foo")]] extern "C" int extern_c_func(); // expected-error {{an attribute list cannot appear here}} 65 extern "C" [[clang::annotate_type("foo")]] int extern_c_func(); // expected-error {{'annotate_type' attribute cannot be applied to a declaration}} 66