From: cuz <cuz@b7a2c559-68d2-44c3-8de9-860c34a00d81>
Date: Sun, 18 Mar 2007 18:26:00 +0000 (+0000)
Subject: Using typdefs, it is possible to construct types that have qualifiers
X-Git-Tag: V2.12.0~81
X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=030ce6ad2851db581a2577661e5bccb425b384de;p=cc65

Using typdefs, it is possible to construct types that have qualifiers
attached to an array (not the elementtype). Fix these problems by tranfering
the qualifiers to the elements.


git-svn-id: svn://svn.cc65.org/cc65/trunk@3774 b7a2c559-68d2-44c3-8de9-860c34a00d81
---

diff --git a/src/cc65/declare.c b/src/cc65/declare.c
index 2af76831c..e79e19ee7 100644
--- a/src/cc65/declare.c
+++ b/src/cc65/declare.c
@@ -125,7 +125,7 @@ static TypeCode OptionalQualifiers (TypeCode Q)
 
 
 
-static void optionalint (void)
+static void OptionalInt (void)
 /* Eat an optional "int" token */
 {
     if (CurTok.Tok == TOK_INT) {
@@ -136,7 +136,7 @@ static void optionalint (void)
 
 
 
-static void optionalsigned (void)
+static void OptionalSigned (void)
 /* Eat an optional "signed" token */
 {
     if (CurTok.Tok == TOK_SIGNED) {
@@ -212,6 +212,32 @@ static void AddArrayToDeclaration (Declaration* D, long Size)
 
 
 
+static void FixArrayQualifiers (Type* T)
+/* Using typedefs, it is possible to generate declarations that have
+ * type qualifiers attached to an array, not the element type. Go and
+ * fix these here.
+ */
+{
+    TypeCode Q = T_QUAL_NONE;
+    while (T->C != T_END) {
+        if (IsTypeArray (T)) {
+            /* Extract any type qualifiers */
+            Q |= T->C & T_MASK_QUAL;
+            T->C = UnqualifiedType (T->C);
+        } else {
+            /* Add extracted type qualifiers here */
+            T->C |= Q;
+            Q = T_QUAL_NONE;
+        }
+        ++T;
+    }
+
+    /* Q must be empty now */
+    CHECK (Q == T_QUAL_NONE);
+}
+
+
+
 static void ParseStorageClass (DeclSpec* D, unsigned DefStorage)
 /* Parse a storage class */
 {
@@ -453,12 +479,12 @@ static void ParseTypeSpec (DeclSpec* D, long Default, TypeCode Qualifiers)
     	    NextToken ();
     	    if (CurTok.Tok == TOK_UNSIGNED) {
     	      	NextToken ();
-    	      	optionalint ();
+    	      	OptionalInt ();
     	      	D->Type[0].C = T_ULONG;
 	      	D->Type[1].C = T_END;
     	    } else {
-    	      	optionalsigned ();
-    	      	optionalint ();
+    	      	OptionalSigned ();
+    	      	OptionalInt ();
 	      	D->Type[0].C = T_LONG;
 	      	D->Type[1].C = T_END;
     	    }
@@ -468,12 +494,12 @@ static void ParseTypeSpec (DeclSpec* D, long Default, TypeCode Qualifiers)
     	    NextToken ();
     	    if (CurTok.Tok == TOK_UNSIGNED) {
     	      	NextToken ();
-    	      	optionalint ();
+    	      	OptionalInt ();
 	      	D->Type[0].C = T_USHORT;
 	      	D->Type[1].C = T_END;
     	    } else {
-    	      	optionalsigned ();
-    	      	optionalint ();
+    	      	OptionalSigned ();
+    	      	OptionalInt ();
 	      	D->Type[0].C = T_SHORT;
 	    	D->Type[1].C = T_END;
     	    }
@@ -497,14 +523,14 @@ static void ParseTypeSpec (DeclSpec* D, long Default, TypeCode Qualifiers)
 
     		case TOK_SHORT:
     		    NextToken ();
-    		    optionalint ();
+    		    OptionalInt ();
 		    D->Type[0].C = T_SHORT;
 		    D->Type[1].C = T_END;
     		    break;
 
     		case TOK_LONG:
     		    NextToken ();
-    	 	    optionalint ();
+    	 	    OptionalInt ();
 		    D->Type[0].C = T_LONG;
 		    D->Type[1].C = T_END;
     	     	    break;
@@ -532,14 +558,14 @@ static void ParseTypeSpec (DeclSpec* D, long Default, TypeCode Qualifiers)
 
     	    	case TOK_SHORT:
     		    NextToken ();
-    		    optionalint ();
+    		    OptionalInt ();
 		    D->Type[0].C = T_USHORT;
 		    D->Type[1].C = T_END;
     		    break;
 
     		case TOK_LONG:
     		    NextToken ();
-    		    optionalint ();
+    		    OptionalInt ();
     		    D->Type[0].C = T_ULONG;
 		    D->Type[1].C = T_END;
     		    break;
@@ -1131,16 +1157,19 @@ void ParseDecl (const DeclSpec* Spec, Declaration* D, unsigned Mode)
     NeedTypeSpace (D, TypeLen (Spec->Type) + 1);	/* Bounds check */
     TypeCpy (D->Type + D->Index, Spec->Type);
 
+    /* Fix any type qualifiers attached to an array type */
+    FixArrayQualifiers (D->Type);
+
     /* Check the size of the generated type */
     if (!IsTypeFunc (D->Type) && !IsTypeVoid (D->Type)) {
-	unsigned Size = SizeOf (D->Type);
-	if (Size >= 0x10000) {
-	    if (D->Ident[0] != '\0') {
-	       	Error ("Size of `%s' is invalid (0x%06X)", D->Ident, Size);
-	    } else {
-	 	Error ("Invalid size in declaration (0x%06X)", Size);
-	    }
-	}
+       	unsigned Size = SizeOf (D->Type);
+       	if (Size >= 0x10000) {
+       	    if (D->Ident[0] != '\0') {
+       	       	Error ("Size of `%s' is invalid (0x%06X)", D->Ident, Size);
+       	    } else {
+       	 	Error ("Invalid size in declaration (0x%06X)", Size);
+       	    }
+       	}
     }
 }