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

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

I'm skimming the BasicAA code, and I don't see where we handle the isNoAliasCall case inside of getModRefInfo(CB, Loc).  Is it possible the effect here was because this was the only form of handling we had for noalias results?

It looks like we have support for escape based reasoning, and identified object based reasoning, but I don't see anywhere that we directly check for noalias in an analogous manner.

Another possibility: We appear to not be annotating calloc with inaccessiblememonly.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D117180