[PATCH] D103314: [Analyzer][solver] Simplify existing constraints when a new constraint is added

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