[all-commits] [llvm/llvm-project] 9eab0d: [flang] Catch branching into FORALL/WHERE constructs

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9eab0da18320019f85c8c4c58f49a25b05ad40f7
      https://github.com/llvm/llvm-project/commit/9eab0da18320019f85c8c4c58f49a25b05ad40f7
  Author: peter klausler <pklausler at nvidia.com>
  Date:   2021-09-27 (Mon, 27 Sep 2021)

  Changed paths:
    M flang/lib/Semantics/resolve-labels.cpp
    M flang/test/Semantics/label05.f90
    M flang/test/Semantics/label06.f90
    M flang/test/Semantics/label07.f90
    M flang/test/Semantics/label14.f90

  Log Message:
  -----------
  [flang] Catch branching into FORALL/WHERE constructs

Enforce constraints C1034 & C1038, which disallow the use
of otherwise valid statements as branch targets when they
appear in FORALL &/or WHERE constructs.  (And make the
diagnostic message somewhat more user-friendly.)

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