[all-commits] [llvm/llvm-project] e9a8ab: [flang] Use definability tests for better PURE con...
Peter Klausler via All-commits
all-commits at lists.llvm.org
Mon Apr 3 07:00:32 PDT 2023
Branch: refs/heads/main
Home: https://github.com/llvm/llvm-project
Commit: e9a8ab004cc9aae3c45f8b3708176e584b5c23a2
https://github.com/llvm/llvm-project/commit/e9a8ab004cc9aae3c45f8b3708176e584b5c23a2
Author: Peter Klausler <pklausler at nvidia.com>
Date: 2023-04-03 (Mon, 03 Apr 2023)
Changed paths:
M flang/include/flang/Semantics/tools.h
M flang/lib/Evaluate/tools.cpp
M flang/lib/Semantics/check-deallocate.cpp
M flang/lib/Semantics/check-deallocate.h
M flang/lib/Semantics/check-declarations.cpp
M flang/lib/Semantics/check-do-forall.cpp
M flang/lib/Semantics/definable.cpp
M flang/lib/Semantics/tools.cpp
M flang/module/__fortran_type_info.f90
M flang/test/Semantics/call10.f90
M flang/test/Semantics/deallocate07.f90
A flang/test/Semantics/declarations05.f90
M flang/test/Semantics/doconcurrent08.f90
Log Message:
-----------
[flang] Use definability tests for better PURE constraint checking
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.
Differential Revision: https://reviews.llvm.org/D147389
More information about the All-commits
mailing list