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

Thu Jun 10 09:18:56 PDT 2021

martong marked an inline comment as done.
martong added a comment.

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>

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D103314/new/

https://reviews.llvm.org/D103314