[PATCH] D82614: ValueTracking: Fix isKnownNonZero for non-0 null pointers for byval

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

Honestly, `nonnull` should only mean `!= 0`. I guess not deducing `nonnull` from `byval` is reasonable for any `AS != 0`.
I'm not really in favor of making `nonnull` mean "valid pointer", `dereferenceable` is already way closer to that and `nonnull` is used as "not 0" too often already.


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

https://reviews.llvm.org/D82614