[all-commits] [llvm/llvm-project] 3bfe90: [flang] Remove bogus messages for actual/dummy pro...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3bfe90748e812883d03f7b41f6199d73479179fc
      https://github.com/llvm/llvm-project/commit/3bfe90748e812883d03f7b41f6199d73479179fc
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-03-02 (Wed, 02 Mar 2022)

  Changed paths:
    M flang/include/flang/Evaluate/characteristics.h
    M flang/lib/Evaluate/characteristics.cpp
    M flang/lib/Semantics/check-call.cpp
    A flang/test/Semantics/call25.f90

  Log Message:
  -----------
  [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