Implement basic typing function

Author: ChAoSUnItY

src/defs.h

@@ -276,8 +276,12 @@ typedef struct use_chain_node {
     struct use_chain_node *prev;
 } use_chain_t;
 
+typedef struct var var_t;
+typedef struct type type_t;
+
 struct var {
     char type_name[MAX_TYPE_LEN];
+    type_t *type;
     char var_name[MAX_VAR_LEN];
     int is_ptr;
     bool is_func;
@@ -302,8 +306,6 @@ struct var {
     bool is_const; /* whether a constant representaion or not */
 };
 
-typedef struct var var_t;
-
 typedef struct {
     char name[MAX_VAR_LEN];
     bool is_variadic;
@@ -324,7 +326,6 @@ struct block {
     struct block *parent;
     func_t *func;
     macro_t *macro;
-    int locals_size;
     struct block *next;
 };
 
@@ -374,8 +375,6 @@ struct type {
     int num_fields;
 };
 
-typedef struct type type_t;
-
 /* lvalue details */
 typedef struct {
     int size;

src/globals.c

@@ -996,6 +996,7 @@ void global_release()
 {
     while (BLOCKS.head) {
         block_t *next = BLOCKS.head->next;
+        printf("%d\n", BLOCKS.head->next_local);
         free(BLOCKS.head);
         BLOCKS.head = next;
     }

src/parser.c

@@ -47,6 +47,21 @@ var_t *require_var(block_t *blk)
     return var;
 }
 
+var_t *require_var_t(block_t *blk, type_t *type)
+{
+    if (blk->next_local >= MAX_LOCALS)
+        error("Too many locals");
+
+    if (!type)
+        error("Type must not be NULL");
+    
+    var_t *var = &blk->locals[blk->next_local++];
+    var->consumed = -1;
+    var->base = var;
+    var->type = type;
+    return var;
+}
+
 void opstack_push(var_t *var)
 {
     operand_stack[operand_stack_idx++] = var;