[PATCH] D54563: [analyzer] MoveChecker Pt.4: Add a few more state reset methods.

[Kristüf Umann via Phabricator via cfe-commits]

Szelethus added a comment.

Okay, I submit! :D



================
Comment at: test/Analysis/use-after-move.cpp:260-262
     for (int i = 0; i < bignum(); i++) { // expected-note {{Loop condition is false. Execution jumps to the end of the function}}
       rightRefCall(std::move(a));        // no-warning
     }
----------------
NoQ wrote:
> This would have been the test for our case, but in this test the function has a body and will not be evaluated conservatively.
Hmm, since those are all STL containers, we should be able to have their definition? Or only with `c++-container-inlining=true`? Take this as more of a question than anything else.


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

https://reviews.llvm.org/D54563