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 _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
