summaryrefslogtreecommitdiffstats
path: root/build/clang-plugin/NonMemMovableTemplateArgChecker.cpp
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--build/clang-plugin/NonMemMovableTemplateArgChecker.cpp51
1 files changed, 51 insertions, 0 deletions
diff --git a/build/clang-plugin/NonMemMovableTemplateArgChecker.cpp b/build/clang-plugin/NonMemMovableTemplateArgChecker.cpp
new file mode 100644
index 0000000000..65afe21006
--- /dev/null
+++ b/build/clang-plugin/NonMemMovableTemplateArgChecker.cpp
@@ -0,0 +1,51 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
+
+#include "NonMemMovableTemplateArgChecker.h"
+#include "CustomMatchers.h"
+
+void NonMemMovableTemplateArgChecker::registerMatchers(
+ MatchFinder *AstMatcher) {
+ // Handle non-mem-movable template specializations
+ AstMatcher->addMatcher(
+ classTemplateSpecializationDecl(
+ allOf(needsMemMovableTemplateArg(),
+ hasAnyTemplateArgument(refersToType(isNonMemMovable()))))
+ .bind("specialization"),
+ this);
+}
+
+void NonMemMovableTemplateArgChecker::check(
+ const MatchFinder::MatchResult &Result) {
+ const char *Error =
+ "Cannot instantiate %0 with non-memmovable template argument %1";
+ const char *Note = "instantiation of %0 requested here";
+
+ // Get the specialization
+ const ClassTemplateSpecializationDecl *Specialization =
+ Result.Nodes.getNodeAs<ClassTemplateSpecializationDecl>("specialization");
+ SourceLocation RequestLoc = Specialization->getPointOfInstantiation();
+
+ // Report an error for every template argument which is non-memmovable
+ const TemplateArgumentList &Args =
+ Specialization->getTemplateInstantiationArgs();
+ for (unsigned i = 0; i < Args.size(); ++i) {
+ QualType ArgType = Args[i].getAsType();
+ if (NonMemMovable.hasEffectiveAnnotation(ArgType)) {
+ diag(Specialization->getLocation(), Error, DiagnosticIDs::Error)
+ << Specialization << ArgType;
+ // XXX It would be really nice if we could get the instantiation stack
+ // information
+ // from Sema such that we could print a full template instantiation stack,
+ // however,
+ // it seems as though that information is thrown out by the time we get
+ // here so we
+ // can only report one level of template specialization (which in many
+ // cases won't
+ // be useful)
+ diag(RequestLoc, Note, DiagnosticIDs::Note) << Specialization;
+ NonMemMovable.dumpAnnotationReason(*this, ArgType, RequestLoc);
+ }
+ }
+}