[flang] Allow local variables and function result inquiries in specification expressions
authorPeter Klausler <pklausler@nvidia.com>
Tue, 10 May 2022 20:42:08 +0000 (13:42 -0700)
committerPeter Klausler <pklausler@nvidia.com>
Tue, 10 May 2022 23:47:03 +0000 (16:47 -0700)
commit2cd95504df575d129b0c23327962695d47dc25fd
treeb0efb738e6601b544e1dbee7db26485ad104991a
parentc167c0a4dcdb998affb2756ce76903a12f7d8ca5
[flang] Allow local variables and function result inquiries in specification expressions

Inquiries into the bounds, size, and length of local variables (and function results)
are acceptable specification expressions.  A recent change allowed them for dummy
arguments that are not OPTIONAL or INTENT(OUT), but didn't address other object
entities.

Differential Revision: https://reviews.llvm.org/D125343
flang/lib/Evaluate/check-expression.cpp