[flang] INTENT(IN) pointer may not be forwarded to INTENT(IN OUT) or (OUT) dummy
authorPeter Klausler <pklausler@nvidia.com>
Mon, 14 Nov 2022 01:08:01 +0000 (17:08 -0800)
committerPeter Klausler <pklausler@nvidia.com>
Sun, 4 Dec 2022 00:28:17 +0000 (16:28 -0800)
commit066aecff9272bdb0c02ff9379ede1bdbd854880e
tree1e3dd24c2f5f99d72cc882911e40dbacc2fb7e44
parent4509fb9c007e13b65153e9e797df4fca00ecb241
[flang] INTENT(IN) pointer may not be forwarded to INTENT(IN OUT) or (OUT) dummy

19.6.8 forbids using an INTENT(IN) pointer dummy argument in a pointer association
context, and associated such a pointer with a dummy argument of INTENT(IN OUT) or
INTENT(OUT) is a circumstance that needs to be caught as an error.

Differential Revision: https://reviews.llvm.org/D139138
flang/lib/Semantics/check-call.cpp
flang/test/Semantics/definable01.f90 [moved from flang/test/Semantics/modifiable01.f90 with 75% similarity]