[flang-commits] [PATCH] D111850: [flang] Admit NULL() in generic procedure resolution cases

[Peter Klausler via Phabricator via flang-commits]

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

Semantics is rejecting valid programs with NULL() actual arguments
to generic interfaces, including user-defined operators.  Subclause
16.9.144(para 6) makes clear that NULL() can be a valid actual
argument to a generic interface so long as it does not produce
ambiguity.  This patch handles those cases, revises existing
tests, and adjust an error message about NULL() operands to
appear less like a blanket prohibition.


https://reviews.llvm.org/D111850

Files:
  flang/include/flang/Evaluate/tools.h
  flang/include/flang/Semantics/expression.h
  flang/lib/Evaluate/tools.cpp
  flang/lib/Semantics/check-declarations.cpp
  flang/lib/Semantics/expression.cpp
  flang/test/Semantics/resolve63.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D111850.379871.patch
Type: text/x-patch
Size: 16917 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20211014/4fad1b37/attachment-0001.bin>