[flang-commits] [PATCH] D156757: [flang] Catch insufficient actual elements/characters associated with longer dummy argument

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

Check for cases of storage sequence association in which an element or
substring is an actual argument associated with a dummy argument array
that can be detected as being larger than the remaining elements or characters
in the actual argument's storage sequence.


https://reviews.llvm.org/D156757

Files:
  flang/include/flang/Evaluate/characteristics.h
  flang/include/flang/Evaluate/fold-designator.h
  flang/lib/Evaluate/characteristics.cpp
  flang/lib/Evaluate/fold-designator.cpp
  flang/lib/Semantics/check-call.cpp
  flang/test/Semantics/call33.f90
  flang/test/Semantics/call38.f90
  flang/test/Semantics/ignore_tkr01.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D156757.545852.patch
Type: text/x-patch
Size: 49345 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20230731/32300a4d/attachment-0001.bin>