[PATCH] D28953: [analyzer] Eliminate analyzer limitations on symbolic constraint generation

[Dominic Chen via Phabricator via cfe-commits]

ddcc added a comment.

I've updated this revision to account for the recent SVal simplification commit by @NoQ, but now there is an exponential recursion problem that prevents testcase `PR24184.cpp` from terminating, due to an interaction between `Simplifier::VisitNonLocSymbolVal()` and `SValBuilder::makeSymExprValNN()`. I'm not quite sure what the best way to resolve this is; from some blind testing, I ended up needing to set `MaxComp` to `10` to force termination in a reasonable amount of time, but this restricts its usefulness for other constraints.


https://reviews.llvm.org/D28953