decl: Qualifiers of array type are for element type

2 files changed, 15 insertions, 0 deletions

diff --git a/test/const-array.c b/test/const-array.c
new file mode 100644
index 0000000..c2bfe46
--- /dev/null
+++ b/test/const-array.c
@@ -0,0 +1,5 @@
+/* C11 6.7.3p9 - type qualifiers on array type qualify the element type */
+typedef int T[2];
+void f(const T x) {
+	x = 0;
+}
diff --git a/test/const-array.qbe b/test/const-array.qbe
new file mode 100644
index 0000000..8648976
--- /dev/null
+++ b/test/const-array.qbe
@@ -0,0 +1,10 @@
+export
+function $f(l %.1) {
+@start.1
+	%.2 =l alloc8 8
+	storel %.1, %.2
+@body.2
+	%.3 =l extsw 0
+	storel %.3, %.2
+	ret
+}