[all-commits] [llvm/llvm-project] bc5662: [flang] Implement checks for defined input/output ...

[Pete Steinfeld via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: bc56620b8b765b5720dbc1849511fb783e05b8cc
      https://github.com/llvm/llvm-project/commit/bc56620b8b765b5720dbc1849511fb783e05b8cc
  Author: Peter Steinfeld <psteinfeld at nvidia.com>
  Date:   2021-05-25 (Tue, 25 May 2021)

  Changed paths:
    M flang/lib/Evaluate/characteristics.cpp
    M flang/lib/Semantics/check-declarations.cpp
    A flang/test/Semantics/io11.f90

  Log Message:
  -----------
  [flang] Implement checks for defined input/output procedures

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.

Differential Revision: https://reviews.llvm.org/D103045