[flang-commits] [flang] [flang] Propagate contiguous attribute through HLFIR. (PR #138797)

[via flang-commits]

jeanPerier wrote:

> Yes, we've been talking about the pass-through operation interface in the context of FIR alias analysis. I would be glad to introduce some abstraction (especially that I am going to add another case in FIR alias analysis in another patch), but I do not see too much generality between FIR alias analysis and the attribute propagation so far. So I do not have a good proposal right now, but the idea is still perfectly valid.

+1 here. I think we are just waiting to have more use cases to come with a reasonable and robust abstraction.

As long as the backward walks are centralized as much as possible in HLFIRTools.cpp/Alias analysis, changing the model should not be a huge change.

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