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

[Razvan Lupusoru via llvm-branch-commits]

https://github.com/razvanlupusoru approved this pull request.

Looks amazing! I agree with the various limitations and as far as I can tell - the non-implemented TODOs are not a correctness problem - just a limitation.

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.

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