[all-commits] [llvm/llvm-project] eb4d5b: [flang] Fix semantic analysis for "forall" targete...

[PeixinQiao via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: eb4d5b852e1d922bce2f538bbafb688786ae2738
      https://github.com/llvm/llvm-project/commit/eb4d5b852e1d922bce2f538bbafb688786ae2738
  Author: PeixinQiao <qiaopeixin at huawei.com>
  Date:   2022-04-09 (Sat, 09 Apr 2022)

  Changed paths:
    M flang/lib/Semantics/resolve-labels.cpp
    A flang/test/Lower/forall/forall-construct-4.f90

  Log Message:
  -----------
  [flang] Fix semantic analysis for "forall" targeted by "label"

As Fortran 2018 3.18 states, the branch target statement can be
`forall-construct-stmt`, but cannot be `forall-stmt`. `forall-stmt` is
wrapped by `Statement` in `action-stmt` and `action-stmt` can be one
branch target statement. Fix the semantic analysis and add two
regression test cases in lowering.

Reviewed By: Jean Perier

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