[flang-commits] [flang] [flang] Stop tracking memory source after a load in a more explicit manner. (PR #126156)

[via flang-commits]

https://github.com/jeanPerier commented:

Thanks Renaud, this makes sense to me. I wonder however if you could not use getSource recursively and decide what attributes must be propagated to the address being analyzed from the address that contains it.

That way, you do not have to implement the walk/attribute gathering again, but only need to decide the "attribute propagation" logic.

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