[flang-commits] [flang] [flang][AliasAnalysis] Cray pointers/pointees might alias with anything (PR #170900)

[via flang-commits]

jeanPerier wrote:

> Do you think we can enable this only under an options, e.g. -funsafe-cray-pointers or something like this?

+1 for that. The [flang documentation already says](https://github.com/llvm/llvm-project/blob/7b652195d79bf79dab3d40f962e3b8063a39e20f/flang/docs/Aliasing.md?plain=1#L288) that if one uses Cray Pointer in scenarios where they alias, they should add TARGETs to the cray pointer target for safe behavior.

I do know if we should add more complexity in the alias analysis for a legacy feature not used in the correct way (unless there is a compelling use case in an application that cannot be modified).

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