[all-commits] [llvm/llvm-project] bce7a7: [flang] Check that various variables referenced in...

[Peter Klausler via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: bce7a7edf32d5094b37d65c9198b048c86645f99
      https://github.com/llvm/llvm-project/commit/bce7a7edf32d5094b37d65c9198b048c86645f99
  Author: peter klausler <pklausler at nvidia.com>
  Date:   2020-08-25 (Tue, 25 Aug 2020)

  Changed paths:
    M flang/lib/Semantics/check-io.cpp
    M flang/lib/Semantics/check-io.h
    M flang/test/Semantics/deallocate05.f90
    M flang/test/Semantics/io01.f90
    M flang/test/Semantics/io02.f90
    M flang/test/Semantics/io03.f90
    M flang/test/Semantics/io04.f90
    M flang/test/Semantics/io05.f90
    M flang/test/Semantics/io06.f90

  Log Message:
  -----------
  [flang] Check that various variables referenced in I/O statements may be defined

A number of I/O syntax rules involve variables that will be written to,
and must therefore be definable.  This includes internal file variables,
IOSTAT= and IOMSG= specifiers, most INQUIRE statement specifiers, a few
other specifiers, and input variables.  This patch checks for
these violations, and implements several additional I/O TODO constraint
checks.

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