[flang] Check shape conformance on initializers
authorpeter klausler <pklausler@nvidia.com>
Mon, 31 Aug 2020 18:54:48 +0000 (11:54 -0700)
committerpeter klausler <pklausler@nvidia.com>
Mon, 31 Aug 2020 23:27:06 +0000 (16:27 -0700)
commitf862d858076ff861048c8f259fac575c0a4e1a6a
tree6dd384dc400d04d1e7a582752dc3b9833e3bd35e
parentf54914081fd43fa5aca92df6630723be902adebd
[flang] Check shape conformance on initializers

Specifically, ensure that initializers conform with their objects
according to 8.2 para 4.

Differential Revision: https://reviews.llvm.org/D86886
13 files changed:
flang/lib/Evaluate/check-expression.cpp
flang/lib/Evaluate/shape.cpp
flang/lib/Evaluate/tools.cpp
flang/lib/Semantics/check-declarations.cpp
flang/lib/Semantics/check-declarations.h
flang/lib/Semantics/expression.cpp
flang/lib/Semantics/pointer-assignment.cpp
flang/lib/Semantics/resolve-names.cpp
flang/lib/Semantics/type.cpp
flang/test/Evaluate/folding08.f90
flang/test/Semantics/init01.f90
flang/test/Semantics/select-rank.f90
flang/test/Semantics/structconst02.f90