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

[Nuno Lopes via Phabricator via llvm-commits]

nlopes added a comment.

In https://reviews.llvm.org/D35887#824426, @efriedma wrote:

> isKnownNonZero was added in r124183; isKnownNonNull was originally part of BasicAA, then moved in r151446.


Thanks for the pointers, Eli!


Repository:
  rL LLVM

https://reviews.llvm.org/D35887