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

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

Szelethus added inline comments.


================
Comment at: include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h:182
+  /// constraint being changed.
+  bool isChanged(const Stmt *Cond, StringRef Message) {
+    ConstraintMap::iterator I = Constraints.find(Cond);
----------------
I would not expect a function called `isChanged` to change the state of an object. Can you find a name that doesn't feel like it's a simple getter function?


https://reviews.llvm.org/D53076