[PATCH] D56632: [analyzer] Track region liveness only through base regions.

Thu Jan 17 15:15:49 PST 2019

NoQ added a comment.

In D56632#1359215 <https://reviews.llvm.org/D56632#1359215>, @NoQ wrote:

> In D56632#1356163 <https://reviews.llvm.org/D56632#1356163>, @baloghadamsoftware wrote:
>
> > Did you measure decrease in the false-positive rate or an increase in the true-positive rate on real code? I expect some.
>
>
> In progress :)

Moderately surprisingly, i found no changes at all. I guess it's pretty rare that the object dies out from Environment last in such manner while its original field symbol values are still important. Still worth fixing though - might have been worse, you never know... also peace of mind.

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

https://reviews.llvm.org/D56632