[flang-commits] [PATCH] D137032: [flang] Be more precise about CHARACTER known length discrepancies

[Peter Klausler via Phabricator via flang-commits]

klausler created this revision.
klausler added a reviewer: jeanPerier.
klausler added a project: Flang.
Herald added a subscriber: jdoerfert.
Herald added a project: All.
klausler requested review of this revision.

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().


https://reviews.llvm.org/D137032

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D137032.471802.patch
Type: text/x-patch
Size: 13263 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20221030/0574b894/attachment-0001.bin>