[all-commits] [llvm/llvm-project] fbdcb3: [flang] Add one semantic check for allocatable/poi...

[PeixinQiao via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: fbdcb3ce6b7b0bac45e06aeac0ca02607f54a0a7
      https://github.com/llvm/llvm-project/commit/fbdcb3ce6b7b0bac45e06aeac0ca02607f54a0a7
  Author: PeixinQiao <qiaopeixin at huawei.com>
  Date:   2022-04-04 (Mon, 04 Apr 2022)

  Changed paths:
    M flang/lib/Semantics/check-call.cpp
    M flang/test/Lower/allocatable-caller.f90
    M flang/test/Lower/pointer-args-caller.f90
    M flang/test/Semantics/call05.f90

  Log Message:
  -----------
  [flang] Add one semantic check for allocatable/pointer argument association

The actual argument shall have deferred the same type parameters as
the dummy argument if the argument is allocatable or pointer variable.
Currently programs not following this get one crash during execution.

Reviewed By: Jean Perier

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