tree fcca99007889e39b3bfd6df09da4d940549a9cd7
parent 7ceeb7193d7563a43fbf89bfdd008aa51ca193cb
author peter klausler <pklausler@nvidia.com> 1631751915 -0700
committer Copybara-Service <copybara-worker@google.com> 1631902835 -0700

[flang] Enforce specification function rules on callee, not call

A function can't be a specification function if it has a dummy procedure
argument, even if it's optional and unused.  So don't check the reference
for actual procedure arguments, but rather the characteristics of the
function.

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

GitOrigin-RevId: 338f21a4bd6b43d9a2eb00929d24cefeb0ccf581