[PATCH] D113368: [flang] Fix error in characteristics check at procedure pointer assignment

[Emil Kieri via Phabricator via llvm-commits]

ekieri created this revision.
ekieri added reviewers: klausler, PeteSteinfeld.
Herald added a project: Flang.
ekieri requested review of this revision.
Herald added subscribers: llvm-commits, jdoerfert.
Herald added a project: LLVM.

If the procedure pointer has an explicit interface, its characteristics must
equal the characteristics of its target, except that the target may be pure or
elemental also when the pointer is not (cf. F2018 <https://reviews.llvm.org/F2018> 10.2.2.4(3)). In the semantics
check for assignment of procedure pointers, the attributes of the procedures
were not checked correctly due to a typo. This caused some illegal
pointer-target-combinations to pass without raising an error. Fix this, and
expand the test case to improve the coverage of procedure pointer assignment
checks.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D113368

Files:
  flang/lib/Evaluate/tools.cpp
  flang/test/Semantics/assign03.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D113368.385362.patch
Type: text/x-patch
Size: 5592 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20211107/cb990066/attachment.bin>