[flang-commits] [PATCH] D159026: [flang] Check procedure pointer initializations; clean up ELEMENTAL

[Peter Klausler via Phabricator via flang-commits]

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

Implements compatibility checking for initializers in procedure pointer
declarations.  This work exposed some inconsistency in how ELEMENTAL
interfaces were handled and checked, from both unrestricted intrinsic
functions and others, and some refinements needed for function result
compatbility checking; these have also been ironed out.  Some new
warnings are now emitted, and this affected a dozen or so tests.


https://reviews.llvm.org/D159026

Files:
  flang/include/flang/Evaluate/characteristics.h
  flang/include/flang/Evaluate/shape.h
  flang/include/flang/Evaluate/tools.h
  flang/lib/Evaluate/characteristics.cpp
  flang/lib/Evaluate/intrinsics.cpp
  flang/lib/Evaluate/shape.cpp
  flang/lib/Evaluate/tools.cpp
  flang/lib/Evaluate/variable.cpp
  flang/lib/Lower/ConvertType.cpp
  flang/lib/Semantics/check-declarations.cpp
  flang/lib/Semantics/data-to-inits.cpp
  flang/lib/Semantics/pointer-assignment.cpp
  flang/lib/Semantics/pointer-assignment.h
  flang/test/Semantics/block-data01.f90
  flang/test/Semantics/c_loc01.f90
  flang/test/Semantics/call02.f90
  flang/test/Semantics/call09.f90
  flang/test/Semantics/io11.f90
  flang/test/Semantics/modfile49.f90
  flang/test/Semantics/procinterface01.f90
  flang/test/Semantics/procinterface02.f90
  flang/test/Semantics/procinterface04.f90
  flang/test/Semantics/reduce01.f90
  flang/test/Semantics/resolve114.f90
  flang/test/Semantics/resolve46.f90
  flang/test/Semantics/resolve59.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D159026.554068.patch
Type: text/x-patch
Size: 66931 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20230828/f5af4934/attachment-0001.bin>