[PATCH] D53076: [analyzer] Enhance ConditionBRVisitor to write out more information

[Csaba Dabis via Phabricator via cfe-commits]

Charusso added inline comments.


================
Comment at: test/Analysis/Inputs/expected-plists/cxx-for-range.cpp.plist:837
+     <key>message</key>
+     <string>Variable 'fail' is true</string>
+    </dict>
----------------
Double negating is not in standard English, so this behaviour is documented here.


================
Comment at: test/Analysis/Inputs/expected-plists/edges-new.mm.plist:9629
+     <string>Variable 'z' is equal to 0</string>
+    </dict>
+    <dict>
----------------
@NoQ this is the only place (as I see) where SA works with flow-sensitive constraint-handling what you mentioned. Is it a good change?


https://reviews.llvm.org/D53076