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

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to