From 773bae1fe954fd578a8360c01ca83675bba9e6b4 Mon Sep 17 00:00:00 2001
From: Michael Forney <mforney@mforney.org>
Date: Sat, 16 Mar 2024 01:00:00 -0700
Subject: expr: Work around qualified array types for now

This should be fixed so that array types are never qualified, but
for now, just union the array type qualifiers with the element type
qualifiers. See issue 79 for more details.
---
 expr.c | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/expr.c b/expr.c
index 04c7325..4ad7f9d 100644
--- a/expr.c
+++ b/expr.c
@@ -98,9 +98,14 @@ decay(struct expr *e)
 	tq = e->qual;
 	switch (t->kind) {
 	case TYPEARRAY:
+		/*
+		XXX: qualifiers should be applied to the element
+		type of array types, not the array type itself
+
 		assert(tq == QUALNONE);
+		*/
 		e = mkunaryexpr(TBAND, e);
-		e->type = mkpointertype(t->base, t->qual);
+		e->type = mkpointertype(t->base, t->qual | tq);
 		e->decayed = true;
 		break;
 	case TYPEFUNC:
-- 
cgit v1.2.3