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

Mon Jun 15 02:41:33 PDT 2020

ASDenysPetrov added a comment.

In D78933#2090076 <https://reviews.llvm.org/D78933#2090076>, @xazax.hun wrote:

> I would not call the results of the measurement within the margin of error but the results do not look bad. Unless there is some objection from someone else I am ok with committing this but please change the title of revision before committing. When one says optimization we often think about performance.  It should say something like reasoning about more comparison operations.

Thanks. I'll change the name. 
I mentioned it as a "margin of error" because if you run tests on the same build twice you can easily get the same difference between two tests.

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

https://reviews.llvm.org/D78933