[all-commits] [llvm/llvm-project] 10b990: [flang] Diagnose known out-of-range subscripts in ...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 10b990a03b1ede533b8443edffa3607aae4295c7
      https://github.com/llvm/llvm-project/commit/10b990a03b1ede533b8443edffa3607aae4295c7
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2023-01-28 (Sat, 28 Jan 2023)

  Changed paths:
    M flang/include/flang/Semantics/expression.h
    M flang/lib/Semantics/data-to-inits.cpp
    M flang/lib/Semantics/expression.cpp
    M flang/lib/Semantics/type.cpp
    M flang/test/Lower/OpenACC/acc-data-operands.f90
    M flang/test/Lower/explicit-interface-results.f90
    M flang/test/Semantics/allocate10.f90
    M flang/test/Semantics/allocate11.f90
    M flang/test/Semantics/data04.f90
    A flang/test/Semantics/expr-errors06.f90

  Log Message:
  -----------
  [flang] Diagnose known out-of-range subscripts in more circumstances

Semantics can catch out-of-range subscript values already when they
appear in DATA statement objects and constant folding of name constant
array indexing; this patch fills the gap by checking known constant
subscript values in other contexts.

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