[all-commits] [llvm/llvm-project] 7fbabe: [flang] Avoid bogus error for specification expres...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7fbabe6ee4213d172c7552becd9b074e18a24c6f
      https://github.com/llvm/llvm-project/commit/7fbabe6ee4213d172c7552becd9b074e18a24c6f
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-02-11 (Fri, 11 Feb 2022)

  Changed paths:
    M flang/lib/Evaluate/check-expression.cpp
    M flang/lib/Semantics/check-declarations.cpp
    M flang/test/Semantics/resolve69.f90

  Log Message:
  -----------
  [flang] Avoid bogus error for specification expression

When a scope's symbol has characteriztics whose specification
expressions depend on other non-constant symbols in the same scope,
f18 rightfully emits an error.  However, in the case of usage in
specification expressions involving host association, the program is not
invalid.  This can arise, for example, in the case of an internal
function whose result's attributes use host-associated variables.

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