[all-commits] [llvm/llvm-project] 1623ae: [flang] Check constraint C1577 for statement funct...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1623aee41a5c7088954b7f8f890ee3a618f0e8c8
      https://github.com/llvm/llvm-project/commit/1623aee41a5c7088954b7f8f890ee3a618f0e8c8
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-12-03 (Sat, 03 Dec 2022)

  Changed paths:
    M flang/include/flang/Evaluate/check-expression.h
    M flang/include/flang/Semantics/expression.h
    M flang/include/flang/Semantics/symbol.h
    M flang/lib/Evaluate/check-expression.cpp
    M flang/lib/Evaluate/tools.cpp
    M flang/lib/Semantics/check-declarations.cpp
    M flang/lib/Semantics/expression.cpp
    M flang/lib/Semantics/resolve-names.cpp
    A flang/test/Semantics/stmt-func01.f90

  Log Message:
  -----------
  [flang] Check constraint C1577 for statement functions

Check most of the requiremens of constraint C1577 for statement functions.
The restrictions that prevent recursion are hard errors; the others seem
to be benign legacies and are caught as portability warnings.

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