[all-commits] [llvm/llvm-project] eef76f: [flang] Reverse a reversed type compatibility check

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: eef76f9821b845b684c9f54d4f3b6d67c0dc2acc
      https://github.com/llvm/llvm-project/commit/eef76f9821b845b684c9f54d4f3b6d67c0dc2acc
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-05-09 (Mon, 09 May 2022)

  Changed paths:
    M flang/lib/Semantics/tools.cpp
    M flang/test/Semantics/selecttype03.f90

  Log Message:
  -----------
  [flang] Reverse a reversed type compatibility check

The semantic test for an intrinsic assignment to a polymorphic
derived type entity from a type that is an extension of its base
type was reversed, so it would allow assignments that it shouldn't
and disallowed some that it should; and the test case for it
incorectly assumed that the invalid semantics were correct.
Fix the code and the test, and add a new test for the invalid
case (LHS type is an extension of the RHS type).

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