llvm-project
4ceea656 - [flang][aa] Use Fortran dummy intent in FIR call modref (#227432)

Commit
15 days ago
[flang][aa] Use Fortran dummy intent in FIR call modref (#227432) fir::AliasAnalysis::getCallModRef now uses the callee dummy's declared intent when a pass-by-ref argument aliases the queried variable. intent(in) is a read, intent(out) is a write, and intent(inout) is both. A dummy with no visible intent, a callee without a body, or a mismatched argument count stays a read and a write. The callee is resolved through the cached symbol table. A local that is not passed is still NoModRef.
Author
Parents
Loading