[flang-commits] [PATCH] D143822: [flang] Catch obscure structure constructor error
Peter Klausler via Phabricator via flang-commits
flang-commits at lists.llvm.org
Sat Feb 11 11:33:08 PST 2023
klausler created this revision.
klausler added a reviewer: vdonaldson.
klausler added a project: Flang.
Herald added subscribers: sunshaoce, jdoerfert.
Herald added a reviewer: sscalpone.
Herald added a project: All.
klausler requested review of this revision.
A scalar value in a structure constructor may correspond to an
array component in the derived type only when that component has
a shape to which the scalar value may be expanded.
https://reviews.llvm.org/D143822
Files:
flang/lib/Semantics/expression.cpp
flang/test/Semantics/data01.f90
flang/test/Semantics/structconst06.f90
Index: flang/test/Semantics/structconst06.f90
===================================================================
--- /dev/null
+++ flang/test/Semantics/structconst06.f90
@@ -0,0 +1,9 @@
+! RUN: %python %S/test_errors.py %s %flang_fc1
+! Don't expand scalars for allocatable components.
+module m
+ type t
+ real, allocatable :: a(:)
+ end type
+ !ERROR: Scalar value cannot be expanded to shape of array component 'a'
+ type(t) :: x = t(0.)
+end module
Index: flang/test/Semantics/data01.f90
===================================================================
--- flang/test/Semantics/data01.f90
+++ flang/test/Semantics/data01.f90
@@ -12,7 +12,7 @@
integer :: myAge = 2
type(person) associated
type hasAlloc
- integer, allocatable :: a(:)
+ integer, allocatable :: a
end type
end
Index: flang/lib/Semantics/expression.cpp
===================================================================
--- flang/lib/Semantics/expression.cpp
+++ flang/lib/Semantics/expression.cpp
@@ -2022,8 +2022,9 @@
"component", "value")};
if (checked && *checked && GetRank(*componentShape) > 0 &&
GetRank(*valueShape) == 0 &&
- !IsExpandableScalar(*converted, GetFoldingContext(),
- *componentShape, true /*admit PURE call*/)) {
+ (IsDeferredShape(*symbol) ||
+ !IsExpandableScalar(*converted, GetFoldingContext(),
+ *componentShape, true /*admit PURE call*/))) {
AttachDeclaration(
Say(expr.source,
"Scalar value cannot be expanded to shape of array component '%s'"_err_en_US,
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D143822.496703.patch
Type: text/x-patch
Size: 1727 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20230211/95242b69/attachment-0001.bin>
More information about the flang-commits
mailing list