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

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

xazax.hun added a comment.

Do you have a benchmark how this affects the performance and memory usage when the old constraint manager is used? I wonder if most of people are using the old one, it might make no sense to generate symbolic expressions that can not be solved anyway.
Maybe the analyzer could only generate these symbolic expressions when Z3 is used?


https://reviews.llvm.org/D28953