[flang] Diagnose known out-of-range subscripts in more circumstances
authorPeter Klausler <pklausler@nvidia.com>
Tue, 10 Jan 2023 20:23:57 +0000 (12:23 -0800)
committerPeter Klausler <pklausler@nvidia.com>
Sat, 28 Jan 2023 23:27:17 +0000 (15:27 -0800)
commit10b990a03b1ede533b8443edffa3607aae4295c7
tree2542c436edb1d2f02f77c2c79a34e91de8a88254
parent2ed952a3e0307e6a87137fe4bc7ab0243f69bec4
[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
flang/include/flang/Semantics/expression.h
flang/lib/Semantics/data-to-inits.cpp
flang/lib/Semantics/expression.cpp
flang/lib/Semantics/type.cpp
flang/test/Lower/OpenACC/acc-data-operands.f90
flang/test/Lower/explicit-interface-results.f90
flang/test/Semantics/allocate10.f90
flang/test/Semantics/allocate11.f90
flang/test/Semantics/data04.f90
flang/test/Semantics/expr-errors06.f90 [new file with mode: 0644]