[hackers] [scc] Pass pointer to the initializer struct to the designations || Roberto E. Vargas Caballero

[git]

commit 5d74dc264ed9a012ad74016ed02b2cd9d96d75b1
Author:     Roberto E. Vargas Caballero <k...@shike2.com>
AuthorDate: Sun Jan 17 21:40:17 2016 +0100
Commit:     Roberto E. Vargas Caballero <k...@shike2.com>
CommitDate: Sun Jan 17 21:40:17 2016 +0100

    Pass pointer to the initializer struct to the designations
    
    We need the state of the current initialization in the full
    initializer, and in this cases the best approach is to pass
    a struct to all the functions with the data that they need.

diff --git a/cc1/init.c b/cc1/init.c
index 651a65a..668f830 100644
--- a/cc1/init.c
+++ b/cc1/init.c
@@ -6,24 +6,26 @@
 #include "../inc/sizes.h"
 #include "cc1.h"
 
+typedef struct inititlizer Init;
+
 struct designator {
        TINT pos;
+       Node *expr;
        struct designator *next;
 };
 
 struct inititlizer {
-       Node *expr;
-       struct designator *dp;
-       struct inititalizer *next;
+       Type *type;
+       struct designator *head;
 };
 
 static TINT
-arydesig(Type *tp)
+arydesig(Init *ip)
 {
        TINT npos;
        Node *np;
 
-       if (tp->op != ARY)
+       if (ip->type->op != ARY)
                errorp("array index in non-array initializer");
        next();
        np = iconstexpr();
@@ -34,11 +36,12 @@ arydesig(Type *tp)
 }
 
 static TINT
-fielddesig(Type *tp)
+fielddesig(Init *ip)
 {
        TINT npos;
        int ons;
        Symbol *sym, **p;
+       Type *tp = ip->type;
 
        if (!tp->aggreg)
                errorp("field name not in record or union initializer");
@@ -59,50 +62,38 @@ fielddesig(Type *tp)
        return p - tp->p.fields;
 }
 
-static struct designator *
-designation(Type *tp)
+static Init *
+designation(Init *ip)
 {
-       struct designator *dp, *d, *head;
-       TINT (*fun)(Type *);
+       struct designator *dp;
+       TINT (*fun)(Init *);
 
-       for (;;) {
-               switch (yytoken) {
-               case '[': fun = arydesig;   break;
-               case '.': fun = fielddesig; break;
-               default:
-                       if (head)
-                               expect('=');
-                       return head;
-               }
-               d = xmalloc(sizeof(*d));
-               d->next = NULL;
-
-               if (!head) {
-                       head = dp = d;
-               } else {
-                       dp->next = d;
-                       dp = d;
-               }
-               dp->pos  = (*fun)(tp);
+       dp = xmalloc(sizeof(*dp));
+       dp->next = ip->head;
+       ip->head = dp;
+
+       switch (yytoken) {
+       case '[': fun = arydesig;   break;
+       case '.': fun = fielddesig; break;
+       default:  return ip;
        }
+
+       dp->pos  = (*fun)(ip);
+       expect('=');
+       return ip;
 }
 
-static struct designator *
+static Node *
 initlist(Symbol *sym, Type *tp)
 {
-       struct designator *dp;
        struct inititlizer *ip;
        int toomany = 0;
        TINT n;
        Type *newtp;
 
+       /* TODO: catch the case of empty list */
        for (n = 0; ; ++n) {
-               if ((dp = designation(tp)) == NULL) {
-                       dp = xmalloc(sizeof(*dp));
-                       dp->pos = n;
-               } else {
-                       n = dp->pos;
-               }
+               designation(ip);
                switch (tp->op) {
                case ARY:
                        newtp = tp->type;
@@ -137,7 +128,7 @@ initlist(Symbol *sym, Type *tp)
                }
                if (accept('{'))
                        return initlist(sym, tp);
-               ip->expr = assign(NULL);
+               ip->head->expr = assign(NULL);
 
                if (!accept(','))
                        break;
@@ -148,7 +139,7 @@ initlist(Symbol *sym, Type *tp)
                tp->n.elem = n + 1;
                tp->defined = 1;
        }
-       return dp;
+       return NULL;
 }
 
 void