[PATCH] D103045: [flang] Implement checks for defined input/output procedures

[Pete Steinfeld via Phabricator via llvm-commits]

PeteSteinfeld created this revision.
Herald added a reviewer: sscalpone.
PeteSteinfeld requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Defined input/output procedures are specified in 12.6.4.8.  There are different
versions for read versus write and formatted versus unformatted, but they all
share the same basic set of dummy arguments.

I added several checking functions to check-declarations.cpp along with a test.

In the process of implementing this, I noticed and fixed a typo in
.../lib/Evaluate/characteristics.cpp.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D103045

Files:
  flang/lib/Evaluate/characteristics.cpp
  flang/lib/Semantics/check-declarations.cpp
  flang/test/Semantics/io11.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D103045.347488.patch
Type: text/x-patch
Size: 23464 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210524/370060e4/attachment.bin>