[flang-commits] [PATCH] D140149: [flang] Apply definability checks in ALLOCATE/DEALLOCATE statements

[Peter Klausler via Phabricator via flang-commits]

klausler created this revision.
klausler added a reviewer: vdonaldson.
klausler added a project: Flang.
Herald added a subscriber: jdoerfert.
Herald added a reviewer: sscalpone.
Herald added a project: All.
klausler requested review of this revision.

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.)


https://reviews.llvm.org/D140149

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D140149.483287.patch
Type: text/x-patch
Size: 13420 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20221215/8baedac3/attachment-0001.bin>