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

[Eli Friedman via Phabricator via llvm-commits]

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