[all-commits] [llvm/llvm-project] 05e62d: [flang] Catch bad inquiries in specification expre...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 05e62db29337fe17cf7983ceb999761bcb52148a
      https://github.com/llvm/llvm-project/commit/05e62db29337fe17cf7983ceb999761bcb52148a
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2023-02-01 (Wed, 01 Feb 2023)

  Changed paths:
    M flang/include/flang/Semantics/tools.h
    M flang/lib/Evaluate/check-expression.cpp
    M flang/lib/Semantics/check-declarations.cpp
    M flang/lib/Semantics/compute-offsets.cpp
    M flang/lib/Semantics/resolve-names.cpp
    M flang/lib/Semantics/tools.cpp
    M flang/test/Evaluate/errors01.f90
    M flang/test/Semantics/resolve89.f90

  Log Message:
  -----------
  [flang] Catch bad inquiries in specification expressions

When a descriptor inquiry or inquiry function's result is
not constant and is known to be impossible to correctly determine
at runtime, raise an error.  For example, LEN(X) when X is
a local allocatable variable with deferred length.

Differential Revision: https://reviews.llvm.org/D142759