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

[Dávid Bolvanský via Phabricator via llvm-commits]

xbolva00 added a comment.

>> Probably worth adding a comment briefly explaining the discussion, in any case.

Yeah, added link to that patch and some more info about previous decision to the description.

>> We shouldn't be marking dereferenceable(1). The pointer could point to the end of an array.

Right, I will update it.


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

https://reviews.llvm.org/D124633