Szelethus added a comment.
Can you add tests for that just in case? :)
Comment at: test/Analysis/use-after-move.cpp:331
for (int i = 0; i < bignum(); i++) { // expected-note {{Loop condition is
true. Entering loop body}} expected-note {{Loop condition is true. Entering
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
Szelethus added inline comments.
Comment at: test/Analysis/ctu-main.cpp:6
// RUN: %clang_cc1 -triple x86_64-pc-linux-gnu -fsyntax-only -analyze
-analyzer-checker=core,debug.ExprInspection -analyzer-config
experimental-enable-naive-ctu-analysis=true -analyzer-config ctu-dir=%T/
