From 11fd079b6e47148b6f81a6390eae0d2d9e0a035c Mon Sep 17 00:00:00 2001 From: Richard Trieu Date: Tue, 26 Aug 2014 04:30:55 +0000 Subject: Passing a variable to std::move now counts as a use for -Wuninitialized llvm-svn: 216438 --- clang/lib/Analysis/UninitializedValues.cpp | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'clang/lib/Analysis') diff --git a/clang/lib/Analysis/UninitializedValues.cpp b/clang/lib/Analysis/UninitializedValues.cpp index 0f93fe8981c..da4d072807c 100644 --- a/clang/lib/Analysis/UninitializedValues.cpp +++ b/clang/lib/Analysis/UninitializedValues.cpp @@ -341,6 +341,16 @@ void ClassifyRefs::VisitUnaryOperator(UnaryOperator *UO) { } void ClassifyRefs::VisitCallExpr(CallExpr *CE) { + // Classify arguments to std::move as used. + if (CE->getNumArgs() == 1) { + if (FunctionDecl *FD = CE->getDirectCallee()) { + if (FD->getIdentifier() && FD->getIdentifier()->isStr("move")) { + classify(CE->getArg(0), Use); + return; + } + } + } + // If a value is passed by const reference to a function, we should not assume // that it is initialized by the call, and we conservatively do not assume // that it is used. -- cgit v1.2.3