[PATCH] D99642: For non-null pointer checks, do not descend through out-of-bounds GEPs

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

In D99642#2674663 <https://reviews.llvm.org/D99642#2674663>, @fhahn wrote:

> LGTM, thanks!
>
> @nlopes do you have any more thoughts on the difference between LLVM & Alive2 on this topic?

Hi, currently the bottleneck is on me due to a few busy things, sorry. I am discussing with Nuno and the conclusion will be shared soon.


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

https://reviews.llvm.org/D99642