[all-commits] [llvm/llvm-project] 11529d: [flang] Fine-tune function result equivalence chec...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 11529d5b3b7cb763cd7ec9e117f33543ca7d6a90
      https://github.com/llvm/llvm-project/commit/11529d5b3b7cb763cd7ec9e117f33543ca7d6a90
  Author: Peter Klausler <35819229+klausler at users.noreply.github.com>
  Date:   2023-10-31 (Tue, 31 Oct 2023)

  Changed paths:
    M flang/lib/Evaluate/characteristics.cpp
    M flang/lib/Semantics/check-declarations.cpp
    M flang/test/Semantics/separate-mp02.f90
    M flang/test/Semantics/separate-mp03.f90

  Log Message:
  -----------
  [flang] Fine-tune function result equivalence checking (#70260)

When a separate module function's definition has a redundant interface
-- it's defined with MODULE FUNCTION, not MODULE PROCEDURE -- the check
for result type equivalence needs to allow for character lengths that
are the results of specification expressions. At present,
identical-looking length specification expression don't compare equal,
since they can refer to distinct dummy argument symbols. Ensure just
that they are both constant or not, and if constant, that the lengths
have the same value.