[flang] Remove bogus messages for actual/dummy procedure argument compatibility
authorPeter Klausler <pklausler@nvidia.com>
Thu, 24 Feb 2022 00:36:39 +0000 (16:36 -0800)
committerPeter Klausler <pklausler@nvidia.com>
Thu, 3 Mar 2022 00:00:36 +0000 (16:00 -0800)
commit3bfe90748e812883d03f7b41f6199d73479179fc
tree96de6fbf40e607965272f9cd389b92971047d1a4
parent77bfdeb092d186179efd7e032ba1c11fc0a6a444
[flang] Remove bogus messages for actual/dummy procedure argument compatibility

Add new IsCompatibleWith() member functions to many classes in evaluate::characteristics
that apply more nuanced compatibility checking for function results, dummy
arguments, and procedure interfaces than the previous tests for complete
equivalence.  Use IsCompatibleWith() in semantics for call checking.

Differential Revision: https://reviews.llvm.org/D120844
flang/include/flang/Evaluate/characteristics.h
flang/lib/Evaluate/characteristics.cpp
flang/lib/Semantics/check-call.cpp
flang/test/Semantics/call25.f90 [new file with mode: 0644]