[flang] Strengthen procedure compatibility checking
authorPeter Klausler <pklausler@nvidia.com>
Thu, 20 Jul 2023 18:46:31 +0000 (11:46 -0700)
committerPeter Klausler <pklausler@nvidia.com>
Fri, 21 Jul 2023 21:44:10 +0000 (14:44 -0700)
commitf7e4304120506c9973a5ac939e06c106d8816911
tree5e0a61433ba090e6579bb687b9b6c4584d881768
parentf4381d46445709fda9b8ec6c8f85d019de2dad22
[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
flang/lib/Evaluate/characteristics.cpp
flang/test/Semantics/argshape01.f90
flang/test/Semantics/assign12.f90