[PATCH] D28953: [analyzer] Eliminate analyzer limitations on symbolic constraint generation
Dominic Chen via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Jun 20 11:12:51 PDT 2017
ddcc added a comment.
I forgot to mention that the only remaining test failure is on `plist-macros.cpp`; there is a `Assuming condition is true` path note that only appears with the RangeConstraintManager but not with Z3ConstraintManager, and I can't `#ifdef` it because the annotations are checked by `FileCheck`.
More information about the cfe-commits