Mercurial > hg > CbC > CbC_llvm

comparison clang/test/SemaTemplate/attributes.cpp @ 207:2e18cbf3894f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM12
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 08 Jun 2021 06:07:14 +0900
parents 1d019706d866
children c4bab56944e8
comparison
equal deleted inserted replaced
173:0572611fdcc8 207:2e18cbf3894f
61 // CHECK: TemplateArgument type 'int' 61 // CHECK: TemplateArgument type 'int'
62 // CHECK: AnnotateAttr {{.*}} "ANNOTATE_FOO" 62 // CHECK: AnnotateAttr {{.*}} "ANNOTATE_FOO"
63 // CHECK: AnnotateAttr {{.*}} "ANNOTATE_BAR" 63 // CHECK: AnnotateAttr {{.*}} "ANNOTATE_BAR"
64 template<typename T> [[clang::annotate("ANNOTATE_FOO"), clang::annotate("ANNOTATE_BAR")]] void HasAnnotations(); 64 template<typename T> [[clang::annotate("ANNOTATE_FOO"), clang::annotate("ANNOTATE_BAR")]] void HasAnnotations();
65 void UseAnnotations() { HasAnnotations<int>(); } 65 void UseAnnotations() { HasAnnotations<int>(); }
66
67 namespace preferred_name {
68 int x [[clang::preferred_name("frank")]]; // expected-error {{expected a type}}
69 int y [[clang::preferred_name(int)]]; // expected-warning {{'preferred_name' attribute only applies to class templates}}
70 struct [[clang::preferred_name(int)]] A; // expected-warning {{'preferred_name' attribute only applies to class templates}}
71 template<typename T> struct [[clang::preferred_name(int)]] B; // expected-error {{argument 'int' to 'preferred_name' attribute is not a typedef for a specialization of 'B'}}
72 template<typename T> struct C;
73 using X = C<int>; // expected-note {{'X' declared here}}
74 typedef C<float> Y;
75 using Z = const C<double>; // expected-note {{'Z' declared here}}
76 template<typename T> struct [[clang::preferred_name(C<int>)]] C; // expected-error {{argument 'C<int>' to 'preferred_name' attribute is not a typedef for a specialization of 'C'}}
77 template<typename T> struct [[clang::preferred_name(X), clang::preferred_name(Y)]] C;
78 template<typename T> struct [[clang::preferred_name(const X)]] C; // expected-error {{argument 'const preferred_name::X'}}
79 template<typename T> struct [[clang::preferred_name(Z)]] C; // expected-error {{argument 'preferred_name::Z' (aka 'const C<double>')}}
80 template<typename T> struct C {};
81
82 // CHECK: ClassTemplateDecl {{.*}} <line:[[@LINE-10]]:{{.*}} C
83 // CHECK: ClassTemplateSpecializationDecl {{.*}} struct C definition
84 // CHECK: TemplateArgument type 'int'
85 // CHECK-NOT: PreferredNameAttr
86 // CHECK: PreferredNameAttr {{.*}} preferred_name::X
87 // CHECK-NOT: PreferredNameAttr
88 // CHECK: CXXRecordDecl
89 // CHECK: ClassTemplateSpecializationDecl {{.*}} struct C definition
90 // CHECK: TemplateArgument type 'float'
91 // CHECK-NOT: PreferredNameAttr
92 // CHECK: PreferredNameAttr {{.*}} preferred_name::Y
93 // CHECK-NOT: PreferredNameAttr
94 // CHECK: CXXRecordDecl
95 // CHECK: ClassTemplateSpecializationDecl {{.*}} struct C definition
96 // CHECK: TemplateArgument type 'double'
97 // CHECK-NOT: PreferredNameAttr
98 // CHECK: CXXRecordDecl
99
100 // Check this doesn't cause us to instantiate the same attribute multiple times.
101 C<float> *cf1;
102 C<float> *cf2;
103
104 void f(C<int> a, C<float> b, C<double> c) {
105 auto p = a;
106 auto q = b;
107 auto r = c;
108 p.f(); // expected-error {{no member named 'f' in 'preferred_name::X'}}
109 q.f(); // expected-error {{no member named 'f' in 'preferred_name::Y'}}
110 r.f(); // expected-error {{no member named 'f' in 'preferred_name::C<double>'}}
111 }
112
113 template<typename T> struct D;
114 using DInt = D<int>;
115 template<typename T> struct __attribute__((__preferred_name__(DInt))) D {};
116 template struct D<int>;
117 int use_dint = D<int>().get(); // expected-error {{no member named 'get' in 'preferred_name::DInt'}}
118
119 template<typename T> struct MemberTemplate {
120 template<typename U> struct Iter;
121 using iterator = Iter<T>;
122 using const_iterator = Iter<const T>;
123 template<typename U>
124 struct [[clang::preferred_name(iterator),
125 clang::preferred_name(const_iterator)]] Iter {};
126 };
127 auto it = MemberTemplate<int>::Iter<const int>();
128 int n = it; // expected-error {{no viable conversion from 'preferred_name::MemberTemplate<int>::const_iterator' to 'int'}}
129
130 template<int A, int B, typename ...T> struct Foo;
131 template<typename ...T> using Bar = Foo<1, 2, T...>;
132 template<int A, int B, typename ...T> struct [[clang::preferred_name(::preferred_name::Bar<T...>)]] Foo {};
133 Foo<1, 2, int, float>::nosuch x; // expected-error {{no type named 'nosuch' in 'preferred_name::Bar<int, float>'}}
134 }
135 ::preferred_name::Foo<1, 2, int, float>::nosuch x; // expected-error {{no type named 'nosuch' in 'preferred_name::Bar<int, float>'}}