summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIain Buclaw <ibuclaw@gdcproject.org>2022-08-08 15:17:47 +0200
committerIain Buclaw <ibuclaw@gdcproject.org>2022-08-08 20:27:49 +0200
commit4b0253b019943abf2cc5f4db0b7ed67caedffe4a (patch)
treec104bfa5ffae95ec4b292a05487b99297e2f19a4
parent01b1afdc35c13cbff5cd3d37f9319285ab84b157 (diff)
The type that triggers the ICE never got completed by the semantic analysis pass. Checking for size forces it to be done, or issue a compile-time error. PR d/106555 gcc/d/ChangeLog: * d-target.cc (Target::isReturnOnStack): Check for return type size. gcc/testsuite/ChangeLog: * gdc.dg/imports/pr106555.d: New test. * gdc.dg/pr106555.d: New test.
-rw-r--r--gcc/d/d-target.cc2
-rw-r--r--gcc/testsuite/gdc.dg/imports/pr106555.d10
-rw-r--r--gcc/testsuite/gdc.dg/pr106555.d4
3 files changed, 16 insertions, 0 deletions
diff --git a/gcc/d/d-target.cc b/gcc/d/d-target.cc
index 610be74ad48..d4350e593e4 100644
--- a/gcc/d/d-target.cc
+++ b/gcc/d/d-target.cc
@@ -464,6 +464,8 @@ Target::isReturnOnStack (TypeFunction *tf, bool)
return false;
Type *tn = tf->next->toBasetype ();
+ if (tn->size () == SIZE_INVALID)
+ return false;
return (tn->ty == TY::Tstruct || tn->ty == TY::Tsarray);
}
diff --git a/gcc/testsuite/gdc.dg/imports/pr106555.d b/gcc/testsuite/gdc.dg/imports/pr106555.d
new file mode 100644
index 00000000000..0d3ab6bb747
--- /dev/null
+++ b/gcc/testsuite/gdc.dg/imports/pr106555.d
@@ -0,0 +1,10 @@
+module imports.pr106555;
+struct S106555
+{
+ int[] f106555;
+ int max106555;
+ this(int)
+ {
+ f106555.length = max106555;
+ }
+}
diff --git a/gcc/testsuite/gdc.dg/pr106555.d b/gcc/testsuite/gdc.dg/pr106555.d
new file mode 100644
index 00000000000..7b40f3c097b
--- /dev/null
+++ b/gcc/testsuite/gdc.dg/pr106555.d
@@ -0,0 +1,4 @@
+// https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106555
+// { dg-do compile }
+// { dg-additional-options "-O2" }
+// { dg-additional-sources "imports/pr106555.d" }