[all-commits] [llvm/llvm-project] d9232e: [flang] Be more precise about CHARACTER known leng...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d9232e394e08ecba3d8e4128a11d30d9aa20605d
      https://github.com/llvm/llvm-project/commit/d9232e394e08ecba3d8e4128a11d30d9aa20605d
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-10-31 (Mon, 31 Oct 2022)

  Changed paths:
    M flang/include/flang/Evaluate/type.h
    M flang/lib/Evaluate/intrinsics.cpp
    M flang/lib/Evaluate/type.cpp
    M flang/test/Evaluate/folding23.f90
    M flang/test/Semantics/move_alloc.f90

  Log Message:
  -----------
  [flang] Be more precise about CHARACTER known length discrepancies

Many intrinsic functions in Fortran require that two or more of their
arguments have types that agree in the values of all of their type
parameters, while others only require the same type category and kind
type parameters but not lengths, including the important case of
CHARACTER.  The intrinsic procedure tables need to be adjusted in
some cases so that discrepancies in character lengths that are known
at compilation time can be diagnosed as errors where they should be,
as in for example MOVE_ALLOC().

Differential Revision: https://reviews.llvm.org/D137032