[flang] Emit errors on vector subscripts with duplicated elements when object must...
authorPeter Klausler <pklausler@nvidia.com>
Thu, 6 Jul 2023 00:42:36 +0000 (17:42 -0700)
committerPeter Klausler <pklausler@nvidia.com>
Mon, 17 Jul 2023 19:20:16 +0000 (12:20 -0700)
commit22ed61ed87ef7134825c01960d8b1a78c87a36c7
tree07e27d2cbd97e181f543ce01b3bbf473fb350fd8
parent0bb3260b7c5fe138bb8b51e04d050a94f6eb22c2
[flang] Emit errors on vector subscripts with duplicated elements when object must be definable

When the left-hand side of an assignment, or any other context demanding
definability, comprises a designator with a vector subscript that is
known at compilation time to have one or more duplicated elements,
emit an error message.

Differential Revision: https://reviews.llvm.org/D155492
flang/lib/Semantics/check-call.cpp
flang/lib/Semantics/definable.cpp
flang/lib/Semantics/definable.h
flang/test/Semantics/definable06.f90 [new file with mode: 0644]