From ea8113b35a22a5675abd0e06b357b7e2edcca1fa Mon Sep 17 00:00:00 2001 From: Richard Trieu Date: Tue, 17 Dec 2013 00:40:40 +0000 Subject: [PATCH] For -Wconsumed, walk the namespaces to find if the top most namespace is "std" to determine if a move function is the std::move function. This allows functions like std::__1::move to also be treated a the move function. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@197445 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/Consumed.cpp | 15 +++++++++++++-- test/SemaCXX/warn-consumed-analysis.cpp | 8 ++++++++ 2 files changed, 21 insertions(+), 2 deletions(-) diff --git a/lib/Analysis/Consumed.cpp b/lib/Analysis/Consumed.cpp index 5e1448d0bf..e5ec3e6b92 100644 --- a/lib/Analysis/Consumed.cpp +++ b/lib/Analysis/Consumed.cpp @@ -605,14 +605,25 @@ void ConsumedStmtVisitor::VisitBinaryOperator(const BinaryOperator *BinOp) { } } +static bool isStdNamespace(const DeclContext *DC) { + if (!DC->isNamespace()) return false; + while (DC->getParent()->isNamespace()) + DC = DC->getParent(); + const NamespaceDecl *ND = dyn_cast(DC); + + return ND && ND->getName() == "std" && + ND->getDeclContext()->isTranslationUnit(); +} + void ConsumedStmtVisitor::VisitCallExpr(const CallExpr *Call) { if (const FunctionDecl *FunDecl = dyn_cast_or_null(Call->getDirectCallee())) { // Special case for the std::move function. // TODO: Make this more specific. (Deferred) - if (FunDecl->getQualifiedNameAsString() == "std::move" && - Call->getNumArgs() == 1) { + if (Call->getNumArgs() == 1 && + FunDecl->getNameAsString() == "move" && + isStdNamespace(FunDecl->getDeclContext())) { forwardInfo(Call->getArg(0), Call); return; } diff --git a/test/SemaCXX/warn-consumed-analysis.cpp b/test/SemaCXX/warn-consumed-analysis.cpp index 5297981ade..2c372c752b 100644 --- a/test/SemaCXX/warn-consumed-analysis.cpp +++ b/test/SemaCXX/warn-consumed-analysis.cpp @@ -798,6 +798,12 @@ namespace std { void move(); template void move(T&&); + + namespace __1 { + void move(); + template + void move(T&&); + } } namespace PR18260 { @@ -810,5 +816,7 @@ namespace PR18260 { x.move(); std::move(); std::move(x); + std::__1::move(); + std::__1::move(x); } } // end namespace PR18260 -- 2.40.0