[flang] Settle ambiguity between C795 and C721
authorPeter Klausler <pklausler@nvidia.com>
Sat, 18 Mar 2023 00:16:40 +0000 (17:16 -0700)
committerPeter Klausler <pklausler@nvidia.com>
Tue, 28 Mar 2023 00:37:30 +0000 (17:37 -0700)
commit41a964cff0068ba417d355b499f10ecedd4a4636
treeac75d761dda7deb4954d44b152ff78dec3d91337
parent7b0c41841eb7e1c2f56384c421918ff3fb2d9058
[flang] Settle ambiguity between C795 and C721

C721 says that a type parameter value of '*' is permitted in the type-spec
for a named constant; C795 says that such type parameters are allowed
in type-specs only for a few kinds of things, not including named
constants.  The interpretation seems to depend on context, with C721
applying to intrinsic types (i.e., character) and C795 applying only
to derived types.

Differential Revision: https://reviews.llvm.org/D146586
flang/lib/Semantics/check-declarations.cpp
flang/test/Semantics/call05.f90
flang/test/Semantics/call31.f90
flang/test/Semantics/resolve73.f90
flang/test/Semantics/resolve74.f90
flang/test/Semantics/resolve75.f90