[PATCH] D31886: [analyzer] Simplify values in binary operations more aggressively

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun added a comment.

One last question: maybe we want to skip this kind of simplification in case of Z3?
Probably the constraint managers could have a flag like "wantsSimplifiedConstraints"?
Maybe somehow the checkers that are doing their own simplification could respect this flag as well somehow?


https://reviews.llvm.org/D31886