[PATCH] D78933: [analyzer] RangeConstraintManager optimizations in comparison expressions

Fri May 29 05:56:46 PDT 2020

xazax.hun added a comment.

In D78933#2054195 <https://reviews.llvm.org/D78933#2054195>, @ASDenysPetrov wrote:

> @xazax.hun, any thoughts?

I think we should check it on some more projects. We saw vastly different analyzer behavior on other projects in the past. I think you should be able to run it on any cmake project that supports windows by generating compilation database and using scan-build-py (in case other methods did not work).

Overall, the performance penalty does not look that bad. But I wonder how would this compare to a solution that also handles transitivity. We did not really look into the alternatives yet.

I'd like to know what @vsavchenko thinks as Valeriy is more into this kind of stuff lately.

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

https://reviews.llvm.org/D78933