[PATCH] D98925: [BasicAA] Ignore @llvm.annotation when computing ModRefInfo.

[Clement Courbet via Phabricator via llvm-commits]

courbet added a comment.

Thi sis similar to

In D98925#2636739 <https://reviews.llvm.org/D98925#2636739>, @nikic wrote:

> Can we handle this by marking the intrinsic as InaccessibleMemOnly? Is there a reason it's modeled as arbitrarily writing now?

If I read the comment correctly it's to guarantee that control dependencies are respected.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D98925