Passing a variable to std::move now counts as a use for -Wuninitialized

llvm-svn: 216438

1 files changed, 15 insertions, 0 deletions

diff --git a/clang/lib/Sema/SemaDeclCXX.cpp b/clang/lib/Sema/SemaDeclCXX.cpp
index 82d06d126b2..ac70f4b900e 100644
--- a/clang/lib/Sema/SemaDeclCXX.cpp
+++ b/clang/lib/Sema/SemaDeclCXX.cpp
@@ -2337,6 +2337,21 @@ namespace {
       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.