[flang-commits] [PATCH] D136964: [flang] Always diagnose incompatible function results when associating function pointers

[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.

There are some exceptional cases where the compiler permits association of
procedure pointers or dummy arguments with slightly incompatible procedure
targets, but they should not override any incompatibilty of function
result types.

(Includes a second fix to resolve the original motivating test failure, in
which a COMPLEX intrinsic function was getting its result kind divided by
two due to an implicit C++ conversion of the kind to a "*kind" parse tree
node, and those legacy "COMPLEX*size" type designators' values are twice
the type kind value.)


https://reviews.llvm.org/D136964

Files:
  flang/include/flang/Semantics/symbol.h
  flang/lib/Evaluate/tools.cpp
  flang/lib/Semantics/resolve-names.cpp
  flang/lib/Semantics/symbol.cpp
  flang/test/Semantics/assign03.f90
  flang/test/Semantics/associated.f90
  flang/test/Semantics/resolve46.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D136964.471591.patch
Type: text/x-patch
Size: 8082 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20221028/063b04b1/attachment-0001.bin>