From eb4320fcc6caf885038fe8b7b7d33ed87eb56608 Mon Sep 17 00:00:00 2001
From: Michael Forney <mforney@mforney.org>
Date: Thu, 1 Jul 2021 01:34:00 -0700
Subject: decl: Disallow members with incomplete types

Make an exception for flexible array members, though we should also
check that the flexible array member, if any, is last.
---
 test/struct-flexible-array.c   | 10 ++++++++++
 test/struct-flexible-array.qbe | 19 +++++++++++++++++++
 2 files changed, 29 insertions(+)
 create mode 100644 test/struct-flexible-array.c
 create mode 100644 test/struct-flexible-array.qbe

(limited to 'test')

diff --git a/test/struct-flexible-array.c b/test/struct-flexible-array.c
new file mode 100644
index 0000000..57bd95a
--- /dev/null
+++ b/test/struct-flexible-array.c
@@ -0,0 +1,10 @@
+struct s {
+	int a;
+	short b[];
+};
+
+int x = sizeof(struct s);
+
+int f(struct s *s) {
+	return s->b[2];
+}
diff --git a/test/struct-flexible-array.qbe b/test/struct-flexible-array.qbe
new file mode 100644
index 0000000..535c5d2
--- /dev/null
+++ b/test/struct-flexible-array.qbe
@@ -0,0 +1,19 @@
+export data $x = align 4 { w 4, }
+export
+function w $f(l %.1) {
+@start.1
+	%.2 =l alloc8 8
+	storel %.1, %.2
+@body.2
+	%.3 =l loadl %.2
+	%.4 =l copy %.3
+	%.5 =l mul 4, 1
+	%.6 =l add %.4, %.5
+	%.7 =l copy %.6
+	%.8 =l extsw 2
+	%.9 =l mul %.8, 2
+	%.10 =l add %.7, %.9
+	%.11 =w loadsh %.10
+	%.12 =w extsh %.11
+	ret %.12
+}
-- 
cgit v1.2.3