[flang-commits] [PATCH] D146581: [flang] Consolidate and enhance pointer assignment checks

[Peter Klausler via Phabricator via flang-commits]

klausler created this revision.
klausler added a reviewer: PeteSteinfeld.
klausler added a project: Flang.
Herald added subscribers: sunshaoce, jdoerfert.
Herald added a reviewer: sscalpone.
Herald added a project: All.
klausler requested review of this revision.

Consolidate aspects of pointer assignment & structure constructor pointer component
checking from Semantics/assignment.cpp and /expression.cpp into /pointer-assignment.cpp,
and add a warning about data targets that are not definable objects
but not hard errors.  Specifically, a structure component pointer component data
target is not allowed to be a USE-associated object in a pure context by a numbered
constraint, but the right-hand side data target of a pointer assignment statement
has no such constraint, and that's the new warning.


https://reviews.llvm.org/D146581

Files:
  flang/lib/Semantics/assignment.cpp
  flang/lib/Semantics/check-call.cpp
  flang/lib/Semantics/expression.cpp
  flang/lib/Semantics/pointer-assignment.cpp
  flang/test/Semantics/assign14.f90
  flang/test/Semantics/associate01.f90
  flang/test/Semantics/c_f_pointer.f90
  flang/test/Semantics/call05.f90
  flang/test/Semantics/call07.f90
  flang/test/Semantics/call33.f90
  flang/test/Semantics/structconst03.f90
  flang/test/Semantics/structconst04.f90
  flang/test/Semantics/structconst07.f90#

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D146581.507151.patch
Type: text/x-patch
Size: 27211 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20230321/c54b4b93/attachment-0001.bin>