[all-commits] [llvm/llvm-project] e9a8ab: [flang] Use definability tests for better PURE con...

[Peter Klausler via All-commits]

  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