[flang-commits] [flang] [flang] Apply nocapture attribute to dummy arguments (PR #116182)

[via flang-commits]

jeanPerier wrote:

> Is it correct to apply `nocapture` to a dummy argument that was originally a return value?

It actually seems correct to me to add `nocapture` to hidden arguments of results because pointer associations made with the result entity inside the procedure should be undefined after the call (The standard reference for that should be somewhere in F2023 19.5.2.5, I cannot find what exactly, but it would make no sense otherwise. @klausler do you agree?).

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