[all-commits] [llvm/llvm-project] 80f0bb: [flang] Distinguish error/warning cases for bad ju...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 80f0bb5971e9a778e025d2bb91cbcb8b84a56d07
      https://github.com/llvm/llvm-project/commit/80f0bb5971e9a778e025d2bb91cbcb8b84a56d07
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2021-11-08 (Mon, 08 Nov 2021)

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

  Log Message:
  -----------
  [flang] Distinguish error/warning cases for bad jumps into constructs

Previously, jumps to labels in constructs from exterior statements
would elicit only a warning.  Upgrade these to errors unless the
branch into the construct would enter into only DO, IF, and SELECT CASE
constructs, whose interiors don't scope variables or have other
set-up/tear-down semantics.  Branches into these "safe" constructs
are still errors if they're nested in an unsafe construct that doesn't
also enclose the exterior branch statement.

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