[all-commits] [llvm/llvm-project] 646f19: [flang] Format label scope is independent of block...

[Peter Klausler via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 646f19bb9dc86ea5baf38969697a15d0f162ddb0
      https://github.com/llvm/llvm-project/commit/646f19bb9dc86ea5baf38969697a15d0f162ddb0
  Author: peter klausler <pklausler at nvidia.com>
  Date:   2020-08-31 (Mon, 31 Aug 2020)

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

  Log Message:
  -----------
  [flang] Format label scope is independent of block scope

Compilation of the following program currently generates a warning message:

        i = 1
        if (i .eq. 0) then
          write(6, 200) i
200       format (I8)
        end if
        write(6, 200) i
      end

x.f90:6:9: Label '200' is not in scope
          write(6, 200) i
          ^^^^^^^^^^^^^^^

Whereas branch targets must conform to the Clause 11.1.2.1 program
requirement "Transfer of control to the interior of a block from
outside the block is prohibited, ...", this doesn't apply to format
statement references.