[all-commits] [llvm/llvm-project] f75033: [flang] Add nested scoping to label distinctness c...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f75033a0588a05b0077ad8fedb1dad6f466558c0
      https://github.com/llvm/llvm-project/commit/f75033a0588a05b0077ad8fedb1dad6f466558c0
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-08-25 (Thu, 25 Aug 2022)

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

  Log Message:
  -----------
  [flang] Add nested scoping to label distinctness checking

Fortran defines derived type definitions and explicit interface
blocks for subroutines and functions to be nestable scopes for
statement labels, even though such labels are useless for all
purposes.  Handle these scopes in label resolution so that bogus
errors about conflicting labels in "real" code don't come out.

Note that BLOCK constructs could have also been defined as scopes
for statement labeling, but were not.

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