[flang] Allow non-definable actual arguments to volatile/asynchronous dummy arguments
Semantic checking for calls was requiring an actual argument that corresponds to an ASYNCHRONOUS or VOLATILE dummy argument to be definable, but this is not a constraint or requirement in the standard and doesn't even make sense as a warning; these two attributes are "scopable" in the context of BLOCK constructs. Remove the checks and adjust the tests. Differential Revision: https://reviews.llvm.org/D132684
Loading
Please sign in to comment