[flang] Check that DO index variables are definable
authorPeter Klausler <pklausler@nvidia.com>
Tue, 10 Jan 2023 23:53:12 +0000 (15:53 -0800)
committerPeter Klausler <pklausler@nvidia.com>
Sun, 29 Jan 2023 22:27:26 +0000 (14:27 -0800)
commit2725499221c93247cd91ea734ee6b4e022727a63
treeafc9a2508428aec8c6b130be128a6ff8e84a9974
parentfd9f42fad22ca6ca7cb5041f9fc3c89d22f12d92
[flang] Check that DO index variables are definable

We're letting immutable objects appear as DO index variables;
catch and diagnose this error.

Differential Revision: https://reviews.llvm.org/D142767
flang/lib/Semantics/check-do-forall.cpp
flang/test/Semantics/definable03.f90 [new file with mode: 0644]