[PATCH] D35887: isKnownNonNull: recognize GEP inbounds as non-null

[Nuno Lopes via Phabricator via llvm-commits]

nlopes added a comment.

Just realized there's a complicated isGEPKnownNonNull() in ValueTracking.cpp, which is use solely by isKnownNonZero().
I don't believe such a thing is necessary, since the input pointer to a GEP inbounds has to be non-null in address space 0.  If others agree I'll also remove that function in a subsequent patch.


Repository:
  rL LLVM

https://reviews.llvm.org/D35887