[flang-commits] [flang] [flang] Disambiguate derived component accesses in AliasAnalysis. (PR #189516)

[Slava Zakharin via flang-commits]

vzakhari wrote:

> > I have trouble wrapping my head around the "following data" concept every time I read that code again in a review. I wonder if we would not be better without it (or at least reverse it to a "descriptor address" concept), or find another way to reason about things.
> 
> Me too. +1

Same here :)

Tom, thank you for the example! I missed this case.

Jean, let me try to create some logic around multiple sources for the "indirect" accesses. Thanks for the idea!

https://github.com/llvm/llvm-project/pull/189516