[all-commits] [llvm/llvm-project] 2577cb: [flang] Check restrictions on TRANSFER()

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2577cb7a20c20186c8e64d43b21a597f40565f59
      https://github.com/llvm/llvm-project/commit/2577cb7a20c20186c8e64d43b21a597f40565f59
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-12-04 (Sun, 04 Dec 2022)

  Changed paths:
    M flang/include/flang/Evaluate/characteristics.h
    M flang/include/flang/Evaluate/tools.h
    M flang/lib/Evaluate/intrinsics.cpp
    M flang/lib/Semantics/check-call.cpp
    A flang/test/Semantics/transfer01.f90

  Log Message:
  -----------
  [flang] Check restrictions on TRANSFER()

Enforce detectable compilation-time violations of restrictions on the
arguments to the TRANSFER() intrinsic function (16.9.163) with
error messages, and mark other potential problems with warnings.

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