Passing a variable to std::move now counts as a use for -Wuninitialized
llvm-svn: 216438
diff --git a/clang/lib/Sema/SemaDeclCXX.cpp b/clang/lib/Sema/SemaDeclCXX.cpp
index 82d06d1..ac70f4b 100644
--- a/clang/lib/Sema/SemaDeclCXX.cpp
+++ b/clang/lib/Sema/SemaDeclCXX.cpp
@@ -2337,6 +2337,21 @@
Inherited::VisitCXXMemberCallExpr(E);
}
+ void VisitCallExpr(CallExpr *E) {
+ // Treat std::move as a use.
+ if (E->getNumArgs() == 1) {
+ if (FunctionDecl *FD = E->getDirectCallee()) {
+ if (FD->getIdentifier() && FD->getIdentifier()->isStr("move")) {
+ if (MemberExpr *ME = dyn_cast<MemberExpr>(E->getArg(0))) {
+ HandleMemberExpr(ME, false /*CheckReferenceOnly*/);
+ }
+ }
+ }
+ }
+
+ Inherited::VisitCallExpr(E);
+ }
+
void VisitBinaryOperator(BinaryOperator *E) {
// If a field assignment is detected, remove the field from the
// uninitiailized field set.