[all-commits] [llvm/llvm-project] 656ceb: [flang] Allow non-definable actual arguments to vo...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 656cebb49d14fd59fd786ea320603650c93ffee7
      https://github.com/llvm/llvm-project/commit/656cebb49d14fd59fd786ea320603650c93ffee7
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-08-25 (Thu, 25 Aug 2022)

  Changed paths:
    M flang/lib/Semantics/check-call.cpp
    M flang/test/Semantics/call03.f90

  Log Message:
  -----------
  [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