[flang-commits] [flang] [flang] Restructured TBAA trees in AddAliasTags pass. (PR #136725)

[Tom Eccles via flang-commits]

tblah wrote:

Thanks for this reorganization Slava. I'm worried about the "'Target' hold for dummy arguments" section of the [aliasing documentation](https://flang.llvm.org/docs/Aliasing.html#the-target-hole-for-dummy-arguments). If I understand correctly, a dummy argument which does not have the TARGET attribute could still be associated with an actual argument which does, and so it might alias with any variable with the POINTER attribute. So I think POINTER variables still need to be added as "any data".

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