From e2a62314728202e71a4daa2b7ff418994334fb83 Mon Sep 17 00:00:00 2001
From: Teddy <ted.sybil@gmail.com>
Date: Fri, 11 Apr 2014 16:04:48 +0800
Subject: array length checking

---
 semantics.c | 24 ++++++++++++++++++------
 1 file changed, 18 insertions(+), 6 deletions(-)

(limited to 'semantics.c')

diff --git a/semantics.c b/semantics.c
index b948031..3aba1c5 100644
--- a/semantics.c
+++ b/semantics.c
@@ -507,6 +507,11 @@ do { \
     ERROR(ast); \
 } while (0)
 
+#define IS_INT(tt) ((tt) == CINT || (tt) == CCHAR)
+#define IS_ARITH(tt) IS_INT(tt)
+#define IS_SCALAR(tt) (!((tt) == CUNION || (tt) == CSTRUCT))
+
+ExpType semantics_exp(CNode *, CScope_t);
 CVar_t semantics_declr(CNode *p, CType_t type_spec, CScope_t scope, int func_chk) {
     CVar_t type;
     if (p->type == ID) 
@@ -546,13 +551,25 @@ CVar_t semantics_declr(CNode *p, CType_t type_spec, CScope_t scope, int func_chk
         case DECLR_ARR:
             {
                 CType_t arr = ctype_create("", CARR, p);    /* array declr */
+                CNode *rch = p->chd->next;
+                ExpType tl = semantics_exp(rch, scope);
                 if (!type_is_complete(type_spec))
                 {
                     sprintf(err_buff, "array type has incomplete element type");
                     ERROR(p);
                 }
+                if (!rch->ext.is_const)
+                {
+                    sprintf(err_buff, "size of array must be a constant");
+                    ERROR(p);
+                }
+                if (!IS_INT(tl.type->type))
+                {
+                    sprintf(err_buff, "size of array has non-integer type");
+                    ERROR(p);
+                }
                 arr->rec.arr.elem = type_spec;
-                arr->rec.arr.len = p->chd->next->rec.intval;
+                arr->rec.arr.len = rch->ext.const_val;
                 type = semantics_declr(p->chd, arr, scope, 0);
             }
             break;
@@ -706,11 +723,6 @@ ExpType exp_check_aseq(ExpType lhs, ExpType rhs, CNode *ast) {
     return lhs;
 }
 
-#define IS_INT(tt) ((tt) == CINT || (tt) == CCHAR)
-#define IS_ARITH(tt) IS_INT(tt)
-#define IS_SCALAR(tt) (!((tt) == CUNION || (tt) == CSTRUCT))
-
-ExpType semantics_exp(CNode *, CScope_t);
 
 ExpType semantics_cast(CNode *p, CScope_t scope) {
     CNode *chd = p->chd->next;
-- 
cgit v1.2.3