[PATCH] D117084: [CFLGraph] Change isMallocOrCallocLikeFn to isNoAliasCall now that allocation functions must be marked noalias

[Bryce Wilson via Phabricator via llvm-commits]

Bryce-MW added a comment.

Thanks for catching that. I'm glad we have review. For a normal function, it tries interprocedural analysis, if that fails, it looks at the readonly and noalias attributes. I think that allocation functions can go through the same process but just also check Call.onlyAccessesInaccessibleMemory(). This would mean that allocation functions could undergo interprocedural analysis first which would be a functionality change from before.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D117084