[PATCH] D124633: [SimplifyLibCalls] Pointers passed to libcalls must point to valid objects

[Martin Sebor via Phabricator via llvm-commits]

msebor added a comment.

The C constraint that a pointer argument to a library function must point to an object extends beyond `memcpy` etc. to all standard library functions (unless otherwise specified), including for instance `memchr` or `strncmp`, regardless of the size argument.  (I don't have enough background here to judge if this is something worth exploiting for optimization.)


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

https://reviews.llvm.org/D124633