[flang-commits] [PATCH] D147389: [flang] Use definability tests for better PURE constraint checking

[Peter Klausler via Phabricator via flang-commits]

klausler created this revision.
klausler added a reviewer: jeanPerier.
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.

Many semantic checks for constraints related to PURE subprograms
can be implemented in terms of Semantics' "definable.h" utilities,
slightly expanded.  Replace some particular PURE constraint
checks with calls to WhyNotDefinable(), except for cases that
had better specific error messages, and start checking some
missing constraints with DEALLOCATE statements and local
variable declarations.


https://reviews.llvm.org/D147389

Files:
  flang/include/flang/Semantics/tools.h
  flang/lib/Evaluate/tools.cpp
  flang/lib/Semantics/check-deallocate.cpp
  flang/lib/Semantics/check-deallocate.h
  flang/lib/Semantics/check-declarations.cpp
  flang/lib/Semantics/check-do-forall.cpp
  flang/lib/Semantics/definable.cpp
  flang/lib/Semantics/tools.cpp
  flang/module/__fortran_type_info.f90
  flang/test/Semantics/call10.f90
  flang/test/Semantics/deallocate07.f90
  flang/test/Semantics/declarations05.f90
  flang/test/Semantics/doconcurrent08.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D147389.510266.patch
Type: text/x-patch
Size: 27662 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20230401/d0a2d71e/attachment-0001.bin>