[PATCH] D53342: [SimplifyLibCalls] Mark known arguments with nonnull

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

In D53342#1604718 <https://reviews.llvm.org/D53342#1604718>, @xbolva00 wrote:

> From some libc function we can get more info:
>
> memcmp(p, d, 16)
>
> Both p and d can be annotated with derefencable(16), right?
>
> @efriedma


For functions like tihs, if the size is != null, we know the pointers are nonnull. And, yes, if the size is a constant, we know that is the dereferenceable number.


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

https://reviews.llvm.org/D53342