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

Wed Mar 31 02:23:05 PDT 2021

lebedev.ri added a comment.

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

> In D99642#2660824 <https://reviews.llvm.org/D99642#2660824>, @lebedev.ri wrote:
>
>> alive2 again doesn't agree that non-inbounds GEP is allowed to produce null pointer: https://alive2.llvm.org/ce/z/9wfL5x
>
> Interesting, but also surprising, especially because the LangRef explicitly calls out GEPs without `inbounds` to wrap silently?

Yes.
I think it's another example of alive2 trying to invent a memory model that isn't fit for the real world.

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

https://reviews.llvm.org/D99642