10 #include "clang/Lex/Lexer.h" 11 #include "llvm/Support/raw_ostream.h" 22 const ParmVarDecl *ParmVar,
23 const TemplateTypeParmDecl *TypeParmDecl,
24 DiagnosticBuilder &Diag,
25 const ASTContext &Context) {
26 const SourceManager &SM = Context.getSourceManager();
27 const LangOptions &LangOpts = Context.getLangOpts();
29 CharSourceRange CallRange =
31 Callee->getBeginLoc(), Callee->getEndLoc()),
34 if (CallRange.isValid()) {
35 const std::string TypeName =
36 TypeParmDecl->getIdentifier()
37 ? TypeParmDecl->getName().str()
38 : (llvm::Twine(
"decltype(") + ParmVar->getName() +
")").str();
40 const std::string ForwardName =
41 (llvm::Twine(
"forward<") + TypeName +
">").str();
47 NestedNameSpecifier *NNS = Callee->getQualifier();
52 Diag << FixItHint::CreateReplacement(CallRange,
"std::" + ForwardName);
53 }
else if (
const NamespaceDecl *Namespace = NNS->getAsNamespace()) {
54 if (Namespace->getName() ==
"std") {
55 if (!NNS->getPrefix()) {
57 Diag << FixItHint::CreateReplacement(CallRange,
58 "std::" + ForwardName);
59 }
else if (NNS->getPrefix()->getKind() == NestedNameSpecifier::Global) {
61 Diag << FixItHint::CreateReplacement(CallRange,
62 "::std::" + ForwardName);
69 void MoveForwardingReferenceCheck::registerMatchers(MatchFinder *Finder) {
70 if (!getLangOpts().CPlusPlus11)
75 auto ForwardingReferenceParmMatcher =
77 hasType(qualType(rValueReferenceType(),
78 references(templateTypeParmType(hasDeclaration(
79 templateTypeParmDecl().bind(
"type-parm-decl")))),
80 unless(references(qualType(isConstQualified()))))))
84 callExpr(callee(unresolvedLookupExpr(
85 hasAnyDeclaration(namedDecl(
86 hasUnderlyingDecl(hasName(
"::std::move")))))
89 hasArgument(0, ignoringParenImpCasts(declRefExpr(
90 to(ForwardingReferenceParmMatcher)))))
95 void MoveForwardingReferenceCheck::check(
96 const MatchFinder::MatchResult &
Result) {
97 const auto *CallMove = Result.Nodes.getNodeAs<CallExpr>(
"call-move");
98 const auto *UnresolvedLookup =
99 Result.Nodes.getNodeAs<UnresolvedLookupExpr>(
"lookup");
100 const auto *ParmVar = Result.Nodes.getNodeAs<ParmVarDecl>(
"parm-var");
101 const auto *TypeParmDecl =
102 Result.Nodes.getNodeAs<TemplateTypeParmDecl>(
"type-parm-decl");
106 const auto *FuncForParam = dyn_cast<FunctionDecl>(ParmVar->getDeclContext());
109 const FunctionTemplateDecl *FuncTemplate =
110 FuncForParam->getDescribedFunctionTemplate();
117 const TemplateParameterList *Params = FuncTemplate->getTemplateParameters();
118 if (!std::count(Params->begin(), Params->end(), TypeParmDecl))
121 auto Diag = diag(CallMove->getExprLoc(),
122 "forwarding reference passed to std::move(), which may " 123 "unexpectedly cause lvalues to be moved; use " 124 "std::forward() instead");
llvm::Optional< Range > getTokenRange(const SourceManager &SM, const LangOptions &LangOpts, SourceLocation TokLoc)
Returns the taken range at TokLoc.
static void replaceMoveWithForward(const UnresolvedLookupExpr *Callee, const ParmVarDecl *ParmVar, const TemplateTypeParmDecl *TypeParmDecl, DiagnosticBuilder &Diag, const ASTContext &Context)
===– Representation.cpp - ClangDoc Representation --------—*- C++ -*-===//
llvm::Optional< llvm::Expected< tooling::AtomicChanges > > Result