summaryrefslogtreecommitdiffstats
path: root/clang-tools-extra/clang-tidy/misc/MoveForwardingReferenceCheck.cpp
diff options
context:
space:
mode:
authorAlexander Kornienko <alexfh@google.com>2017-11-24 14:16:29 +0000
committerAlexander Kornienko <alexfh@google.com>2017-11-24 14:16:29 +0000
commitd4ac4afda75c9ef174e85eea7f40a6ae6cc50ab4 (patch)
treec43c0be034454ea297f0ccdc84302e9636abed63 /clang-tools-extra/clang-tidy/misc/MoveForwardingReferenceCheck.cpp
parent70cdb5b3914803ca89a96a867a47936d049a4b32 (diff)
downloadbcm5719-llvm-d4ac4afda75c9ef174e85eea7f40a6ae6cc50ab4.tar.gz
bcm5719-llvm-d4ac4afda75c9ef174e85eea7f40a6ae6cc50ab4.zip
[clang-tidy] Move a few more checks from misc to bugprone.
Summary: clang_tidy/rename_check.py misc-assert-side-effect bugprone-assert-side-effect clang_tidy/rename_check.py misc-bool-pointer-implicit-conversion bugprone-bool-pointer-implicit-conversion clang_tidy/rename_check.py misc-fold-init-type bugprone-fold-init-type clang_tidy/rename_check.py misc-forward-declaration-namespace bugprone-forward-declaration-namespace clang_tidy/rename_check.py misc-inaccurate-erase bugprone-inaccurate-erase clang_tidy/rename_check.py misc-move-forwarding-reference bugprone-move-forwarding-reference clang_tidy/rename_check.py misc-multiple-statement-macro bugprone-multiple-statement-macro clang_tidy/rename_check.py misc-use-after-move bugprone-use-after-move clang_tidy/rename_check.py misc-virtual-near-miss bugprone-virtual-near-miss Manually fixed a reference to UseAfterMoveCheck in the hicpp module. Manually fixed header guards. Reviewers: hokein Reviewed By: hokein Subscribers: nemanjai, mgorny, javed.absar, xazax.hun, kbarton, cfe-commits Differential Revision: https://reviews.llvm.org/D40426 llvm-svn: 318950
Diffstat (limited to 'clang-tools-extra/clang-tidy/misc/MoveForwardingReferenceCheck.cpp')
-rw-r--r--clang-tools-extra/clang-tidy/misc/MoveForwardingReferenceCheck.cpp133
1 files changed, 0 insertions, 133 deletions
diff --git a/clang-tools-extra/clang-tidy/misc/MoveForwardingReferenceCheck.cpp b/clang-tools-extra/clang-tidy/misc/MoveForwardingReferenceCheck.cpp
deleted file mode 100644
index 12c19dd9c20..00000000000
--- a/clang-tools-extra/clang-tidy/misc/MoveForwardingReferenceCheck.cpp
+++ /dev/null
@@ -1,133 +0,0 @@
-//===--- MoveForwardingReferenceCheck.cpp - clang-tidy --------------------===//
-//
-// The LLVM Compiler Infrastructure
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
-//
-//===----------------------------------------------------------------------===//
-
-#include "MoveForwardingReferenceCheck.h"
-#include "clang/Lex/Lexer.h"
-#include "llvm/Support/raw_ostream.h"
-
-#include <algorithm>
-
-using namespace clang::ast_matchers;
-
-namespace clang {
-namespace tidy {
-namespace misc {
-
-static void replaceMoveWithForward(const UnresolvedLookupExpr *Callee,
- const ParmVarDecl *ParmVar,
- const TemplateTypeParmDecl *TypeParmDecl,
- DiagnosticBuilder &Diag,
- const ASTContext &Context) {
- const SourceManager &SM = Context.getSourceManager();
- const LangOptions &LangOpts = Context.getLangOpts();
-
- CharSourceRange CallRange =
- Lexer::makeFileCharRange(CharSourceRange::getTokenRange(
- Callee->getLocStart(), Callee->getLocEnd()),
- SM, LangOpts);
-
- if (CallRange.isValid()) {
- const std::string TypeName =
- TypeParmDecl->getIdentifier()
- ? TypeParmDecl->getName().str()
- : (llvm::Twine("decltype(") + ParmVar->getName() + ")").str();
-
- const std::string ForwardName =
- (llvm::Twine("forward<") + TypeName + ">").str();
-
- // Create a replacement only if we see a "standard" way of calling
- // std::move(). This will hopefully prevent erroneous replacements if the
- // code does unusual things (e.g. create an alias for std::move() in
- // another namespace).
- NestedNameSpecifier *NNS = Callee->getQualifier();
- if (!NNS) {
- // Called as "move" (i.e. presumably the code had a "using std::move;").
- // We still conservatively put a "std::" in front of the forward because
- // we don't know whether the code also had a "using std::forward;".
- Diag << FixItHint::CreateReplacement(CallRange, "std::" + ForwardName);
- } else if (const NamespaceDecl *Namespace = NNS->getAsNamespace()) {
- if (Namespace->getName() == "std") {
- if (!NNS->getPrefix()) {
- // Called as "std::move".
- Diag << FixItHint::CreateReplacement(CallRange,
- "std::" + ForwardName);
- } else if (NNS->getPrefix()->getKind() == NestedNameSpecifier::Global) {
- // Called as "::std::move".
- Diag << FixItHint::CreateReplacement(CallRange,
- "::std::" + ForwardName);
- }
- }
- }
- }
-}
-
-void MoveForwardingReferenceCheck::registerMatchers(MatchFinder *Finder) {
- if (!getLangOpts().CPlusPlus11)
- return;
-
- // Matches a ParmVarDecl for a forwarding reference, i.e. a non-const rvalue
- // reference of a function template parameter type.
- auto ForwardingReferenceParmMatcher =
- parmVarDecl(
- hasType(qualType(rValueReferenceType(),
- references(templateTypeParmType(hasDeclaration(
- templateTypeParmDecl().bind("type-parm-decl")))),
- unless(references(qualType(isConstQualified()))))))
- .bind("parm-var");
-
- Finder->addMatcher(
- callExpr(callee(unresolvedLookupExpr(
- hasAnyDeclaration(namedDecl(
- hasUnderlyingDecl(hasName("::std::move")))))
- .bind("lookup")),
- argumentCountIs(1),
- hasArgument(0, ignoringParenImpCasts(declRefExpr(
- to(ForwardingReferenceParmMatcher)))))
- .bind("call-move"),
- this);
-}
-
-void MoveForwardingReferenceCheck::check(
- const MatchFinder::MatchResult &Result) {
- const auto *CallMove = Result.Nodes.getNodeAs<CallExpr>("call-move");
- const auto *UnresolvedLookup =
- Result.Nodes.getNodeAs<UnresolvedLookupExpr>("lookup");
- const auto *ParmVar = Result.Nodes.getNodeAs<ParmVarDecl>("parm-var");
- const auto *TypeParmDecl =
- Result.Nodes.getNodeAs<TemplateTypeParmDecl>("type-parm-decl");
-
- // Get the FunctionDecl and FunctionTemplateDecl containing the function
- // parameter.
- const auto *FuncForParam = dyn_cast<FunctionDecl>(ParmVar->getDeclContext());
- if (!FuncForParam)
- return;
- const FunctionTemplateDecl *FuncTemplate =
- FuncForParam->getDescribedFunctionTemplate();
- if (!FuncTemplate)
- return;
-
- // Check that the template type parameter belongs to the same function
- // template as the function parameter of that type. (This implies that type
- // deduction will happen on the type.)
- const TemplateParameterList *Params = FuncTemplate->getTemplateParameters();
- if (!std::count(Params->begin(), Params->end(), TypeParmDecl))
- return;
-
- auto Diag = diag(CallMove->getExprLoc(),
- "forwarding reference passed to std::move(), which may "
- "unexpectedly cause lvalues to be moved; use "
- "std::forward() instead");
-
- replaceMoveWithForward(UnresolvedLookup, ParmVar, TypeParmDecl, Diag,
- *Result.Context);
-}
-
-} // namespace misc
-} // namespace tidy
-} // namespace clang
OpenPOWER on IntegriCloud