From 99d9848603d07114a79093f5fe71d6cf08a606aa Mon Sep 17 00:00:00 2001
From: Michael Forney <mforney@mforney.org>
Date: Thu, 16 May 2019 00:02:11 -0700
Subject: decl: Qualifiers of array type are for element type

---
 test/const-array.c   |  5 +++++
 test/const-array.qbe | 10 ++++++++++
 2 files changed, 15 insertions(+)
 create mode 100644 test/const-array.c
 create mode 100644 test/const-array.qbe

(limited to 'test')

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
+}
-- 
cgit v1.2.3