[all-commits] [llvm/llvm-project] 384b4e: [flang] Fix error in characteristics check at proc...

[Emil Kieri via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 384b4e0d332ec6fc4f9fc279d12aadc162eaf3a0
      https://github.com/llvm/llvm-project/commit/384b4e0d332ec6fc4f9fc279d12aadc162eaf3a0
  Author: Emil Kieri <j.emil.kieri at gmail.com>
  Date:   2021-11-09 (Tue, 09 Nov 2021)

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

  Log Message:
  -----------
  [flang] Fix error in characteristics check at procedure pointer assignment

If the procedure pointer has an explicit interface, its characteristics must
equal the characteristics of its target, except that the target may be pure or
elemental also when the pointer is not (cf. F2018 10.2.2.4(3)). In the semantics
check for assignment of procedure pointers, the attributes of the procedures
were not checked correctly due to a typo. This caused some illegal
pointer-target-combinations to pass without raising an error. Fix this, and
expand the test case to improve the coverage of procedure pointer assignment
checks.

Reviewed By: PeteSteinfeld

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