[all-commits] [llvm/llvm-project] a6935c: [flang] Stricter scrutiny of MOVE_ALLOC calls

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a6935cfed89edb1e10cd20ae0062362b6bdbbda0
      https://github.com/llvm/llvm-project/commit/a6935cfed89edb1e10cd20ae0062362b6bdbbda0
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-10-30 (Sun, 30 Oct 2022)

  Changed paths:
    M flang/lib/Evaluate/intrinsics.cpp
    M flang/test/Semantics/move_alloc.f90

  Log Message:
  -----------
  [flang] Stricter scrutiny of MOVE_ALLOC calls

Enforce remaining semantic restrictions on the arguments to MOVE_ALLOC,
namely that the first two arguments must be allocatable (!) and that
if the source is polymorphic, so must the destination be.

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