[all-commits] [llvm/llvm-project] 1341b5: [flang] Allow mixed association of procedure point...

[Pete Steinfeld via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1341b5a0f5c39f05883e0f458d60ee4c6f059886
      https://github.com/llvm/llvm-project/commit/1341b5a0f5c39f05883e0f458d60ee4c6f059886
  Author: Peter Steinfeld <psteinfeld at nvidia.com>
  Date:   2022-02-11 (Fri, 11 Feb 2022)

  Changed paths:
    M flang/lib/Evaluate/tools.cpp
    M flang/test/Semantics/assign03.f90
    M flang/test/Semantics/associated.f90

  Log Message:
  -----------
  [flang] Allow mixed association of procedure pointers and targets

Section 10.2.2.4, paragraph 3 states that a procedure pointer with an explicit
interface must have the same characteristics as its target.  Previously, we
interpreted this as disallowing such pointers to point to procedures with
implicit interfaces.  But several other compilers allow this.

We make an exception for the case where the explicit interface cannot be
called via an implicit interface.

This change makes us allow this, also

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