[PATCH] D62883: [analyzer] Track conditions of terminator statements on which the reported node depends on
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Fri Jun 14 14:10:50 PDT 2019
NoQ added inline comments.
================
Comment at: clang/test/Analysis/track-control-dependency-conditions.cpp:80-81
+
+ if (bar) // expected-note {{Taking true branch}}
+ // expected-note at -1{{Assuming 'bar' is not equal to 0}}
+ if (flag) // expected-note {{Taking true branch}}
----------------
These notes should be in the opposite order. It doesn't matter for the test case, but it improves readability of the test case :)
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D62883/new/
https://reviews.llvm.org/D62883
More information about the cfe-commits
mailing list