[all-commits] [llvm/llvm-project] 3af883: [flang] Associate entities are variables

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3af88305e443eb0a7930b5d7f2e26a609b65e556
      https://github.com/llvm/llvm-project/commit/3af88305e443eb0a7930b5d7f2e26a609b65e556
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2023-02-14 (Tue, 14 Feb 2023)

  Changed paths:
    M flang/lib/Evaluate/tools.cpp

  Log Message:
  -----------
  [flang] Associate entities are variables

A more precise reading of the standard for associate entities, like "x"
in ASSOCIATE(x => selector), shows that the utility predicates used for
determining their status as variables should treat them as variables
(not necessarily definable), whatever the selector is.  Currently
the cases where the selector is an expression or a designator with a
vector subscript are not properly considered to be variables.
(See Fortran 2018, 11.1.3.3 paragraph 5.)

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