tree 536e9039396d8cbf444ea20dfa5875f1f9bde0a3
parent 3e5ec6ae2d3e8edf84d1e98d1f0bf993a024040e
author peter klausler <pklausler@nvidia.com> 1623795436 -0700
committer Copybara-Service <copybara-worker@google.com> 1623893824 -0700

[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

GitOrigin-RevId: 562bfe1274a17698c445ee3d7bb4a7911d74f657