[llvm-branch-commits] [flang] [flang] handle fir.call in AliasAnalysis::getModRef (PR #117164)

[via llvm-branch-commits]

jeanPerier wrote:

Thanks for the reviews!

> Do you have plans to add support for Fortran runtime calls also? I think a similar approach as your check for escaping args would work conservatively for them as well.

 Yes, I am planning to do that in a later patch. I think the only difference is that when checking the argument aliasing, I am relying on the fact that the address cannot be "hidden" inside a descriptor reference because POINTER and TARGET variables were excluded before. This is not true when calling the runtime (For instance, Assign destination argument is always a fir.ref<fir.box> and we do place the address of non TARGET variable inside that descriptor). So the argument checking will have to be stricter with descriptor addresses. Hence I want to think it properly and make it in its own patch.

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