[PATCH] D130713: [AA] Do not track Must in ModRefInfo

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

In D130713#3685384 <https://reviews.llvm.org/D130713#3685384>, @jdoerfert wrote:

> I'm all for tracking on a more fine granular scope. I'd suggest an RFC and discussion about that, maybe we get enough support to do it right rather this time. It pops up again and again anyway.
> Wrt. must alias, I don't think it's worth keeping if we don't use it.

Right. I want to do some internal refactoring in AA first, but ultimately we need to change how we represent memory effects in IR attributes as well.


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

https://reviews.llvm.org/D130713