[all-commits] [llvm/llvm-project] f7e430: [flang] Strengthen procedure compatibility checking

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f7e4304120506c9973a5ac939e06c106d8816911
      https://github.com/llvm/llvm-project/commit/f7e4304120506c9973a5ac939e06c106d8816911
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2023-07-21 (Fri, 21 Jul 2023)

  Changed paths:
    M flang/lib/Evaluate/characteristics.cpp
    M flang/test/Semantics/argshape01.f90
    M flang/test/Semantics/assign12.f90

  Log Message:
  -----------
  [flang] Strengthen procedure compatibility checking

Add more checks to procedure compatibility testing for procedure pointer
assignments, actual procedure arguments, &c.  Specifically, don't
allow corresponding dummy data objects to differ in their use
of polymorphism, assumed size arrays, or assumed shape arrays.

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