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

[Slava Zakharin via flang-commits]

vzakhari wrote:

Thank you for the example, Jean! I get it now :)

I also do not know what MLIR `MustAlias` exactly means, but this is what I read in LLVM alias analysis doc:
```
The MustAlias response may only be returned if the two memory objects are guaranteed to always start at exactly the same location. A MustAlias response does not imply that the pointers compare equal.
```

Even though the second statement does not allow applying the transformation that you described above, the first statement does not seem to allow returning `MustAlias` for the original and temporary references.

I need to think more about what I can do here.

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