[PATCH] D74692: [clang-tidy] Make bugprone-use-after-move ignore std::move for const values

[Zinovy Nis via Phabricator via cfe-commits]

zinovy.nis updated this revision to Diff 244876.

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D74692/new/

https://reviews.llvm.org/D74692

Files:
  clang-tools-extra/clang-tidy/bugprone/UseAfterMoveCheck.cpp
  clang-tools-extra/test/clang-tidy/checkers/bugprone-use-after-move.cpp


Index: clang-tools-extra/test/clang-tidy/checkers/bugprone-use-after-move.cpp
===================================================================
--- clang-tools-extra/test/clang-tidy/checkers/bugprone-use-after-move.cpp
+++ clang-tools-extra/test/clang-tidy/checkers/bugprone-use-after-move.cpp
@@ -129,6 +129,14 @@
   // CHECK-NOTES: [[@LINE-3]]:15: note: move occurred here
 }
 
+// Simple case for const value.
+void simpleConst(const A a) {
+  A other_a = std::move(a);
+  a.foo();
+  // CHECK-NOTES-NOT: [[@LINE-1]]:3: warning: 'a' used after it was moved
+  // CHECK-NOTES-NOT: [[@LINE-3]]:15: note: move occurred here
+}
+
 // A warning should only be emitted for one use-after-move.
 void onlyFlagOneUseAfterMove() {
   A a;
@@ -314,8 +322,8 @@
     auto lambda = [a] {
       std::move(a);
       a.foo();
-      // CHECK-NOTES: [[@LINE-1]]:7: warning: 'a' used after it was moved
-      // CHECK-NOTES: [[@LINE-3]]:7: note: move occurred here
+      // CHECK-NOTES-NOT: [[@LINE-1]]:7: warning: 'a' used after it was moved
+      // CHECK-NOTES-NOT: [[@LINE-3]]:7: note: move occurred here
     };
   }
   // This is just as true if the variable was declared inside the lambda.
@@ -721,14 +729,14 @@
     const A a;
     std::move(a);
     passByConstPointer(&a);
-    // CHECK-NOTES: [[@LINE-1]]:25: warning: 'a' used after it was moved
-    // CHECK-NOTES: [[@LINE-3]]:5: note: move occurred here
+    // CHECK-NOTES-NOT: [[@LINE-1]]:25: warning: 'a' used after it was moved
+    // CHECK-NOTES-NOT: [[@LINE-3]]:5: note: move occurred here
   }
   const A a;
   std::move(a);
   passByConstReference(a);
-  // CHECK-NOTES: [[@LINE-1]]:24: warning: 'a' used after it was moved
-  // CHECK-NOTES: [[@LINE-3]]:3: note: move occurred here
+  // CHECK-NOTES-NOT: [[@LINE-1]]:24: warning: 'a' used after it was moved
+  // CHECK-NOTES-NOT: [[@LINE-3]]:3: note: move occurred here
 }
 
 // Clearing a standard container using clear() is treated as a
Index: clang-tools-extra/clang-tidy/bugprone/UseAfterMoveCheck.cpp
===================================================================
--- clang-tools-extra/clang-tidy/bugprone/UseAfterMoveCheck.cpp
+++ clang-tools-extra/clang-tidy/bugprone/UseAfterMoveCheck.cpp
@@ -404,7 +404,8 @@
                hasArgument(0, declRefExpr().bind("arg")),
                anyOf(hasAncestor(lambdaExpr().bind("containing-lambda")),
                      hasAncestor(functionDecl().bind("containing-func"))),
-               unless(inDecltypeOrTemplateArg()))
+               unless(anyOf(inDecltypeOrTemplateArg(),
+                            hasType(qualType(isConstQualified())))))
           .bind("call-move");
 
   Finder->addMatcher(


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D74692.244876.patch
Type: text/x-patch
Size: 2681 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20200216/2912d532/attachment-0001.bin>