[PATCH] D117180: [BasicAliasAnalysis] Switch from isMallocOrCallocLikeFn to onlyAccessesInaccessibleMemory

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

Yes, this is a tricky problem. See also https://github.com/llvm/llvm-project/issues/48366 for some relevant discussion, though in different context. We have a pretty fundamental problem when it comes to handling of replaceable allocator functions in LLVM. Setting inaccessiblememonly (and arguably also noalias) on them is only strictly correct if the allocator implementation (including any state it may use) is not visible to LLVM.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D117180