[flang-commits] [flang] [flang] Improve alias analysis to be precise for box and box.base_addr (PR #80335)

[Razvan Lupusoru via flang-commits]

razvanlupusoru wrote:

> Out of interest, are you able to share what you are using this for?
I was trying it out on some OpenACC. I am interested in creating an alias analysis framework (at MLIR level) for it as well.

> I believe the existing alias analysis infrastructure should already be able to distinguish between box and non-box accesses.
Are you referring to the TBAA implementation? As far as I understood this was mostly for passing information to LLVM, not for alias analysis in MLIR passes.

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