[PATCH] D103314: [Analyzer][solver] Simplify existing constraints when a new constraint is added
Valeriy Savchenko via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Sun Jun 13 02:24:24 PDT 2021
vsavchenko added a comment.
In D103314#2810795 <https://reviews.llvm.org/D103314#2810795>, @martong wrote:
> I have the first measurements results in the attached zip file. The file contains the html file generated by csa-testbench. It's name contains `CTU` but actually it was a regular non-CTU analysis. The most interesting is probably the run-times, where we can notice a small increase:
> F17327338: image.png <https://reviews.llvm.org/F17327338>
> Other than that, the number of the warnings seems to be unchanged. The most notable change in the statistics is in the number of paths explored by the analyzer: in some cases (e.g. twin) it increased with 2-3 %. F17327375: CTU_20results_20on_20open_20projects_201.zip <https://reviews.llvm.org/F17327375>
This sounds amazing! Great job!
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D103314/new/
https://reviews.llvm.org/D103314
More information about the cfe-commits
mailing list