[clang] [clang][analyzer] Detect use-after-move for 3-arg std::move (PR #196602)

[Balázs Benics via cfe-commits]

================
@@ -0,0 +1,29 @@
+// RUN: %clang_analyze_cc1 -std=c++17 -analyzer-checker=core,cplusplus.Move,alpha.cplusplus.IteratorModeling -analyzer-config aggressive-binary-operation-simplification=true -analyzer-config c++-container-inlining=false %s -verify -analyzer-config display-checker-name=false
----------------
steakhal wrote:

Could you break this run line into multiple lines?

Can you use the DEFINE directive and then another RUN line for demonstrating the behavior of the checker if the dependecy checker wasn't enabled?

You can use different verify prefixes to demonstrate the differences `--verify=one,two` and then `// one-warning {{asdasd}}` and `// two-warning {{foofoo}}`

https://github.com/llvm/llvm-project/pull/196602