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.

1 files changed, 6 insertions, 1 deletions

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: