[all-commits] [llvm/llvm-project] 41a964: [flang] Settle ambiguity between C795 and C721

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 41a964cff0068ba417d355b499f10ecedd4a4636
      https://github.com/llvm/llvm-project/commit/41a964cff0068ba417d355b499f10ecedd4a4636
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2023-03-27 (Mon, 27 Mar 2023)

  Changed paths:
    M flang/lib/Semantics/check-declarations.cpp
    M flang/test/Semantics/call05.f90
    M flang/test/Semantics/call31.f90
    M flang/test/Semantics/resolve73.f90
    M flang/test/Semantics/resolve74.f90
    M flang/test/Semantics/resolve75.f90

  Log Message:
  -----------
  [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