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

Martin Sebor via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Apr 28 15:31:11 PDT 2022


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



More information about the llvm-commits mailing list