[PATCH] D124633: [SimplifyLibCalls] Pointers passed to libcalls must point to valid objects
Eli Friedman via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Apr 28 13:16:30 PDT 2022
efriedma added a comment.
Last time we discussed this, we specifically avoided doing this, yes. I'm still not convinced this is worth changing; the performance improvement is probably negligible. Probably worth adding a comment briefly explaining the discussion, in any case.
We shouldn't be marking dereferenceable(1). The pointer could point to the end of an array.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D124633/new/
https://reviews.llvm.org/D124633
More information about the llvm-commits
mailing list