[all-commits] [llvm/llvm-project] 88afb6: [flang] Semantic checks for bad usage of whole ass...

[Peter Klausler via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 88afb6e86774c7d2ffe9385714e7810ea50636d2
      https://github.com/llvm/llvm-project/commit/88afb6e86774c7d2ffe9385714e7810ea50636d2
  Author: peter klausler <pklausler at nvidia.com>
  Date:   2020-10-07 (Wed, 07 Oct 2020)

  Changed paths:
    M flang/include/flang/Semantics/expression.h
    M flang/lib/Semantics/assignment.cpp
    M flang/lib/Semantics/check-io.cpp
    M flang/lib/Semantics/expression.cpp
    M flang/test/Semantics/assign04.f90
    M flang/test/Semantics/io03.f90

  Log Message:
  -----------
  [flang] Semantic checks for bad usage of whole assumed-size arrays

The semantics pass currently checks for several constraints
that apply to the use of whole assumed-size arrays in various
contexts, but C1002 wasn't really implemented.  This patch
implements C1002 by disallowing the use of whole assumed-size
arrays in expressions and variables unless specifically
allowed by the context.  This centralizes the error reporting,
which has been improved with a link to the array's declaration.

Differential revision: https://reviews.llvm.org/D88691