1 files changed, 39 insertions, 0 deletions
diff --git a/build/clang-plugin/NeedsNoVTableTypeChecker.cpp b/build/clang-plugin/NeedsNoVTableTypeChecker.cpp
new file mode 100644
index 0000000000..9d5ad039ba
--- /dev/null
+++ b/build/clang-plugin/NeedsNoVTableTypeChecker.cpp
@@ -0,0 +1,39 @@
+/* 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 "NeedsNoVTableTypeChecker.h"
+#include "CustomMatchers.h"
+
+void NeedsNoVTableTypeChecker::registerMatchers(MatchFinder *AstMatcher) {
+  AstMatcher->addMatcher(
+      classTemplateSpecializationDecl(
+          allOf(hasAnyTemplateArgument(refersToType(hasVTable())),
+                hasNeedsNoVTableTypeAttr()))
+          .bind("node"),
+      this);
+}
+
+void NeedsNoVTableTypeChecker::check(const MatchFinder::MatchResult &Result) {
+  const ClassTemplateSpecializationDecl *Specialization =
+      Result.Nodes.getNodeAs<ClassTemplateSpecializationDecl>("node");
+
+  // Get the offending template argument
+  QualType Offender;
+  const TemplateArgumentList &Args =
+      Specialization->getTemplateInstantiationArgs();
+  for (unsigned i = 0; i < Args.size(); ++i) {
+    Offender = Args[i].getAsType();
+    if (typeHasVTable(Offender)) {
+      break;
+    }
+  }
+
+  diag(Specialization->getBeginLoc(),
+       "%0 cannot be instantiated because %1 has a VTable",
+       DiagnosticIDs::Error)
+      << Specialization << Offender;
+  diag(Specialization->getPointOfInstantiation(),
+       "bad instantiation of %0 requested here", DiagnosticIDs::Note)
+      << Specialization;
+}