[PATCH] D62883: [analyzer] Track conditions of terminator statements on which the reported node depends on

[Artem Dergachev via Phabricator via cfe-commits]

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@-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



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits