[all-commits] [llvm/llvm-project] ae426a: [flang] Detect obvious argument shape incompatibil...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ae426a054b0c54155f27388ded800006da78268d
      https://github.com/llvm/llvm-project/commit/ae426a054b0c54155f27388ded800006da78268d
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2023-03-10 (Fri, 10 Mar 2023)

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

  Log Message:
  -----------
  [flang] Detect obvious argument shape incompatibility when checking procedure compatibility

The compiler presently detects different dummy object array ranks;
extend the compatibility check to also note discrepancies in corresponding
constant dummy argument extents.

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