[all-commits] [llvm/llvm-project] f2dac5: [flang] Intrinsic assignment of distinct but "same...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f2dac557f574e2d481a8efefdaf6f9b649d314f0
      https://github.com/llvm/llvm-project/commit/f2dac557f574e2d481a8efefdaf6f9b649d314f0
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-01-19 (Wed, 19 Jan 2022)

  Changed paths:
    M flang/include/flang/Semantics/type.h
    M flang/lib/Semantics/tools.cpp
    M flang/lib/Semantics/type.cpp
    A flang/test/Semantics/assign08.f90

  Log Message:
  -----------
  [flang] Intrinsic assignment of distinct but "same" derived types

Subclause 7.5.2.4 lists conditions under which two distinct derived
types are to be considered the same type for purposes of argument
association, assignment, and so on.  These conditions are implemented
in evaluate::IsTkCompatibleWith(), but assignment semantics doesn't
use it for testing for intrinsic assignment compatibility.  Fix that.

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