[all-commits] [llvm/llvm-project] 562bfe: [flang] Complain about more cases of calls to insu...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 562bfe1274a17698c445ee3d7bb4a7911d74f657
      https://github.com/llvm/llvm-project/commit/562bfe1274a17698c445ee3d7bb4a7911d74f657
  Author: peter klausler <pklausler at nvidia.com>
  Date:   2021-06-16 (Wed, 16 Jun 2021)

  Changed paths:
    M flang/include/flang/Evaluate/characteristics.h
    M flang/lib/Evaluate/characteristics.cpp
    M flang/lib/Evaluate/intrinsics.cpp
    M flang/lib/Semantics/check-declarations.cpp
    M flang/lib/Semantics/expression.cpp
    M flang/lib/Semantics/pointer-assignment.cpp
    M flang/lib/Semantics/resolve-names.cpp
    M flang/test/Semantics/resolve102.f90

  Log Message:
  -----------
  [flang] Complain about more cases of calls to insufficiently defined procedures

When a function is called in a specification expression, it must be
sufficiently defined, and cannot be a recursive call (10.1.11(5)).
The best fix for this is to change the contract for the procedure
characterization infrastructure to catch and report such errors,
and to guarantee that it does emit errors on failed characterizations.
Some call sites were adjusted to avoid cascades.

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