[all-commits] [llvm/llvm-project] fb792e: [flang] Apply definability checks in ALLOCATE/DEAL...

[Peter Klausler via All-commits]

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

  Changed paths:
    M flang/lib/Semantics/check-allocate.cpp
    M flang/lib/Semantics/check-deallocate.cpp
    M flang/lib/Semantics/definable.cpp
    M flang/lib/Semantics/definable.h
    M flang/test/Semantics/allocate13.f90
    M flang/test/Semantics/deallocate05.f90
    M flang/test/Semantics/deallocate06.f90
    M flang/test/Semantics/dosemantics12.f90

  Log Message:
  -----------
  [flang] Apply definability checks in ALLOCATE/DEALLOCATE statements

The pointers and allocatables that appear in ALLOCATE and DEALLOCATE
statements need to be subject to the general definability checks so
that problems with e.g. PROTECTED objects can be caught.

(Also: regularize the capitalization of the DEALLOCATE error messages
while I'm in here so that they're consistent with the messages that
can come out for ALLOCATE.)

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