[all-commits] [llvm/llvm-project] c9da9c: [flang] Support PDT KIND parameters in later param...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c9da9c0d74ec5f5cf92be73783a00f7139dfc070
      https://github.com/llvm/llvm-project/commit/c9da9c0d74ec5f5cf92be73783a00f7139dfc070
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2023-08-29 (Tue, 29 Aug 2023)

  Changed paths:
    M flang/lib/Evaluate/fold-implementation.h
    M flang/lib/Evaluate/fold-integer.cpp
    M flang/lib/Semantics/expression.cpp
    M flang/lib/Semantics/runtime-type-info.cpp
    M flang/lib/Semantics/type.cpp
    A flang/test/Semantics/label18.f90#
    A flang/test/Semantics/pdt02.f90
    M flang/test/Semantics/resolve105.f90
    M flang/test/Semantics/resolve69.f90
    M flang/test/Semantics/selecttype01.f90
    M flang/test/Semantics/typeinfo01.f90

  Log Message:
  -----------
  [flang] Support PDT KIND parameters in later parameter kind expressions

Fortran allows an earlier-declared KIND type parameter of a parameterized
derived type to be used in the constant expression defining the integer
kind of a later type parameter.

  TYPE :: T(K,L)
    INTEGER, KIND :: K
    INTEGER(K), LEN :: L
    ...
  END TYPE

Differential Revision: https://reviews.llvm.org/D159044https://reviews.llvm.org/D159044