[flang-commits] [PATCH] D142764: [flang] Diagnose known out-of-range subscripts in more circumstances

[Peter Klausler via Phabricator via flang-commits]

klausler created this revision.
klausler added a reviewer: PeteSteinfeld.
klausler added a project: Flang.
Herald added subscribers: sunshaoce, jdoerfert.
Herald added a reviewer: sscalpone.
Herald added a reviewer: clementval.
Herald added a project: All.
klausler requested review of this revision.

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.


https://reviews.llvm.org/D142764

Files:
  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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D142764.492822.patch
Type: text/x-patch
Size: 21793 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20230127/c8254c27/attachment-0001.bin>