[all-commits] [llvm/llvm-project] a9782f: [flang] Correct IsHostAssociated() to be true for ...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a9782fead3205fbcd8512acc057820e4235d8131
      https://github.com/llvm/llvm-project/commit/a9782fead3205fbcd8512acc057820e4235d8131
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-07-23 (Sat, 23 Jul 2022)

  Changed paths:
    M flang/include/flang/Semantics/scope.h
    M flang/include/flang/Semantics/tools.h
    M flang/lib/Semantics/data-to-inits.cpp
    M flang/lib/Semantics/resolve-names.cpp
    M flang/lib/Semantics/tools.cpp
    M flang/test/Semantics/OpenACC/acc-symbols01.f90
    M flang/test/Semantics/OpenMP/omp-do-schedule03.f90
    M flang/test/Semantics/OpenMP/omp-do-schedule04.f90
    M flang/test/Semantics/OpenMP/omp-do01-positivecase.f90
    M flang/test/Semantics/OpenMP/omp-do04-positivecase.f90
    M flang/test/Semantics/OpenMP/omp-do05-positivecase.f90
    M flang/test/Semantics/OpenMP/omp-do06-positivecases.f90
    M flang/test/Semantics/OpenMP/omp-do11.f90
    M flang/test/Semantics/OpenMP/omp-do12.f90
    M flang/test/Semantics/OpenMP/omp-do14.f90
    M flang/test/Semantics/OpenMP/omp-do17.f90
    M flang/test/Semantics/OpenMP/omp-reduction08.f90
    M flang/test/Semantics/OpenMP/omp-reduction09.f90
    M flang/test/Semantics/OpenMP/omp-symbol01.f90
    M flang/test/Semantics/OpenMP/omp-symbol02.f90
    M flang/test/Semantics/OpenMP/omp-symbol03.f90
    M flang/test/Semantics/OpenMP/omp-symbol04.f90
    M flang/test/Semantics/OpenMP/omp-symbol05.f90
    M flang/test/Semantics/OpenMP/omp-symbol06.f90
    M flang/test/Semantics/OpenMP/omp-symbol07.f90
    M flang/test/Semantics/OpenMP/omp-symbol08.f90
    M flang/test/Semantics/data16.f90
    M flang/test/Semantics/symbol05.f90
    M flang/test/Semantics/symbol09.f90
    M flang/test/Semantics/symbol11.f90

  Log Message:
  -----------
  [flang] Correct IsHostAssociated() to be true for BLOCK constructs

The predicate IsHostAssocited() was implemented in a way that would
return true only for cases of host association into a module or inner
subprogram.  Technically, the use of a name in a BLOCK construct
that is not declared therein is considered in the Fortran standard
to also be a form of host association, and this matters when doing
error checking on DATA statements.

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