[all-commits] [llvm/llvm-project] c2d4d6: [flang] Create HostAssocDetails symbols when neede...

[jeanPerier via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c2d4d6a1fde127316aae2fdd48b4322857987be3
      https://github.com/llvm/llvm-project/commit/c2d4d6a1fde127316aae2fdd48b4322857987be3
  Author: Jean Perier <jperier at nvidia.com>
  Date:   2021-07-07 (Wed, 07 Jul 2021)

  Changed paths:
    M flang/lib/Semantics/resolve-names.cpp
    M flang/test/Semantics/symbol03.f90

  Log Message:
  -----------
  [flang] Create HostAssocDetails symbols when needed for mis-parsed ArrayRef

Name resolution is always creating symbols with HostAssocDetails
for host variable names inside internal procedures. This helps lowering
identifying and dealing with such variables inside internal procedures.

However, the case where the variable appears in an ArrayRef mis-parsed
as a FunctionRef goes through a different name resolution path that did
not create such HostAssocDetails when needed. Pointer assignment RHS
are also skipping this path.

Add the logic to create HostAssocDetails for host symbols inisde internal
procedures that appear in mis-parsed ArrayRef or in pointer assignment RHS.

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