[PATCH] D120881: [Clang] Diagnose invalid member variable with template parameters
Corentin Jabot via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Mar 3 02:34:49 PST 2022
cor3ntin created this revision.
Herald added a project: All.
cor3ntin requested review of this revision.
Herald added a project: clang.
Herald added a subscriber: cfe-commits.
Fixes https://github.com/llvm/llvm-project/issues/54151
Repository:
rG LLVM Github Monorepo
https://reviews.llvm.org/D120881
Files:
clang/include/clang/Basic/DiagnosticSemaKinds.td
clang/lib/Sema/SemaDeclCXX.cpp
clang/test/SemaCXX/class.cpp
Index: clang/test/SemaCXX/class.cpp
===================================================================
--- clang/test/SemaCXX/class.cpp
+++ clang/test/SemaCXX/class.cpp
@@ -208,6 +208,22 @@
}
}
-struct PR9989 {
- static int const PR9989_Member = sizeof PR9989_Member;
+struct PR9989 {
+ static int const PR9989_Member = sizeof PR9989_Member;
};
+
+
+namespace GH54151 {
+
+struct S {
+ int i<0>; //expected-error {{member 'i' cannot have template arguments}}
+ int j<int>; //expected-error {{member 'j' cannot have template arguments}}
+};
+
+template <typename T, int N>
+struct U {
+ int i<N>; //expected-error {{member 'i' cannot have template arguments}}
+ int j<T>; //expected-error {{member 'j' cannot have template arguments}}
+};
+
+}
Index: clang/lib/Sema/SemaDeclCXX.cpp
===================================================================
--- clang/lib/Sema/SemaDeclCXX.cpp
+++ clang/lib/Sema/SemaDeclCXX.cpp
@@ -3395,6 +3395,13 @@
return nullptr;
}
+ if(isInstField && D.getName().getKind() == UnqualifiedIdKind::IK_TemplateId) {
+ Diag(D.getIdentifierLoc(), diag::err_member_with_template_arguments)
+ << II
+ << SourceRange(D.getName().TemplateId->LAngleLoc, D.getName().TemplateId->RAngleLoc)
+ << D.getName().TemplateId->LAngleLoc;
+ }
+
if (SS.isSet() && !SS.isInvalid()) {
// The user provided a superfluous scope specifier inside a class
// definition:
Index: clang/include/clang/Basic/DiagnosticSemaKinds.td
===================================================================
--- clang/include/clang/Basic/DiagnosticSemaKinds.td
+++ clang/include/clang/Basic/DiagnosticSemaKinds.td
@@ -4790,6 +4790,7 @@
def err_template_variable_noparams : Error<
"extraneous 'template<>' in declaration of variable %0">;
def err_template_member : Error<"member %0 declared as a template">;
+def err_member_with_template_arguments : Error<"member %0 cannot have template arguments">;
def err_template_member_noparams : Error<
"extraneous 'template<>' in declaration of member %0">;
def err_template_tag_noparams : Error<
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D120881.412646.patch
Type: text/x-patch
Size: 2129 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20220303/0eea5658/attachment.bin>
More information about the cfe-commits
mailing list