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

Gábor Horváth via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue May 9 02:56:27 PDT 2017

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?


More information about the cfe-commits mailing list