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

[Florian Hahn via Phabricator via llvm-commits]

fhahn accepted this revision.
fhahn added a comment.

LGTM, thanks!

@nlopes do you have any more thoughts on the difference between LLVM & Alive2 on this topic?



================
Comment at: llvm/test/Analysis/ValueTracking/unknown-nonnull-gep-out-of-bounds.ll:4
+target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
+target triple = "x86_64-unknown-linux-gnu"
+
----------------
This should also not be needed, right? Otherwise we would need to make sure this only runs when the X86 backend is built.


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

https://reviews.llvm.org/D99642