[flang] Add one semantic check for elemental call arguments
authorPeixin-Qiao <qiaopeixin@huawei.com>
Tue, 17 May 2022 07:11:46 +0000 (15:11 +0800)
committerPeixin-Qiao <qiaopeixin@huawei.com>
Tue, 17 May 2022 07:11:46 +0000 (15:11 +0800)
commit5646d82885f64f1f886d84aff5422697f355f6c4
tree59157490ddae974c56cb05b954729a56b969d444
parentf305ac3d5d0e02df68efbad42ab9c209f99d51a7
[flang] Add one semantic check for elemental call arguments

As Fortran 2018 15.8.1(3), in a reference to an elemental procedure, if
any argument is an array, each actual argument that corresponds to an
INTENT (OUT) or INTENT (INOUT) dummy argument shall be an array. Add
this semantic check.

Reviewed By: klausler

Differential Revision: https://reviews.llvm.org/D125685
flang/lib/Semantics/check-call.cpp
flang/test/Semantics/call02.f90