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

Whisperity via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Oct 24 01:22:41 PDT 2018


whisperity added inline comments.


================
Comment at: include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h:238
+  /// message on that constraint being changed.
+  bool isChangedOrInsertConstraint(ConstraintMap &Constraints, const Stmt *Cond,
+                                   StringRef Message) const {
----------------
`insertOrUpdateContraintMessage`

and mention in the documentation that it returns whether or not the actual insertion or update change took place


https://reviews.llvm.org/D53076





More information about the cfe-commits mailing list