mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-12-01 00:32:11 +00:00
0d4a611a04
MozReview-Commit-ID: AXrQEjWzxvg --HG-- extra : rebase_source : bf972fbb22648af2edbb756eb899ebddf8444dbc
52 lines
2.1 KiB
C++
52 lines
2.1 KiB
C++
/* 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);
|
|
}
|
|
}
|
|
}
|