[flang-commits] [flang] [flang] Support fir.pack_array in FIR alias analysis. (PR #131946)

[Tom Eccles via flang-commits]

tblah wrote:

This is what we agreed in the RFC, but looking back over the discussion I think we got a bit derailed a bit thinking about the MLIR memory effects. I still wonder if this should be modeled as a new temporary allocation (like fir.allocmem or fir.alloca).

I think we need to be clear about exactly what question FIR alias analysis is supposed to answer. The bits are copied from the source array, but I think that what matters for alias analysis is that this allocation never points to the same memory addresses as the source array (or any other array for that matter).

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