[all-commits] [llvm/llvm-project] e843d5: [flang] Refine handling of SELECT TYPE association...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e843d514b12fd07e8bf49898cf66716e4b2833ce
      https://github.com/llvm/llvm-project/commit/e843d514b12fd07e8bf49898cf66716e4b2833ce
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2025-02-27 (Thu, 27 Feb 2025)

  Changed paths:
    M flang/include/flang/Evaluate/tools.h
    M flang/include/flang/Semantics/symbol.h
    M flang/lib/Evaluate/tools.cpp
    M flang/lib/Semantics/check-call.cpp
    M flang/lib/Semantics/check-do-forall.cpp
    M flang/lib/Semantics/expression.cpp
    M flang/lib/Semantics/resolve-names.cpp
    M flang/lib/Semantics/symbol.cpp
    M flang/lib/Semantics/tools.cpp
    M flang/test/Semantics/doconcurrent08.f90

  Log Message:
  -----------
  [flang] Refine handling of SELECT TYPE associations in analyses (#128935)

A few bits of semantic checking need a variant of the
ResolveAssociations utility function that stops when hitting a construct
entity for a type or class guard. This is necessary for cases like the
bug below where the analysis is concerned with the type of the name in
context, rather than its shape or storage or whatever. So add a flag to
ResolveAssociations and GetAssociationRoot to make this happen, and use
it at the appropriate call sites.

Fixes https://github.com/llvm/llvm-project/issues/128608.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications