[flang-commits] [PATCH] D139161: [flang] Catch attempts to copy pointers in allocatables in PURE

[Peter Klausler via Phabricator via flang-commits]

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

In a pure context, a pointer acquired from an INTENT(IN) dummy argument
may not be copied.  Catch the case in which the pointer is a component
of an allocatable component at some depth of nesting.

(This patch adds a new component iterator kind that is a variant of
a potential subobject component iterator; it visits all potential
subobject components, plus pointers, into which it does not descend.)


https://reviews.llvm.org/D139161

Files:
  flang/include/flang/Semantics/tools.h
  flang/lib/Semantics/assignment.cpp
  flang/lib/Semantics/tools.cpp
  flang/test/Semantics/call12.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D139161.479489.patch
Type: text/x-patch
Size: 8174 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20221202/18e4e771/attachment.bin>