[all-commits] [llvm/llvm-project] 2472b6: [flang] Add one semantic check for masked array as...

[PeixinQiao via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2472b6869a6eeb198a4e982fd7c3ffc89dd4f6f5
      https://github.com/llvm/llvm-project/commit/2472b6869a6eeb198a4e982fd7c3ffc89dd4f6f5
  Author: PeixinQiao <qiaopeixin at huawei.com>
  Date:   2022-05-06 (Fri, 06 May 2022)

  Changed paths:
    M flang/lib/Semantics/assignment.cpp
    M flang/test/Semantics/assign01.f90
    M flang/test/Semantics/assign04.f90

  Log Message:
  -----------
  [flang] Add one semantic check for masked array assignment

As Fortran 2018 states, in each where-assignment-stmt, the mask-expr and
the variable being defined shall be arrays of the same shape. The
previous check does not consider checking if it is an array.

Reviewed By: klausler

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