Fix sizeof bug, add test

ncc/examples/telnet_server.c

@@ -10,7 +10,7 @@ void on_new_conn(u64 socket_id)
     puts("got new connection");
 
     char client_addr[128];
-    u64 conn_sock = net_accept(socket_id, client_addr, 128, on_incoming_data);
+    u64 conn_sock = net_accept(socket_id, client_addr, sizeof(client_addr), on_incoming_data);
 }
 
 void on_incoming_data(u64 socket_id, u64 num_bytes)

ncc/src/typedefs.rs

@@ -179,6 +179,10 @@ impl Stmt
             // Local variable declaration
             Stmt::VarDecl { var_type, var_name, init_expr } => {
                 resolve_types(var_type, typedefs, None)?;
+
+                if let Some(expr) = init_expr {
+                    expr.resolve_types(typedefs)?;
+                }
             }
 
             Stmt::Block(stmts) => {
@@ -235,6 +239,7 @@ impl Expr
             }
 
             Expr::SizeofType { t } => {
+                // If this is a reference to a named type
                 if let Type::Named(name) = t {
                     if let Some(dt) = typedefs.get(name) {
                         *t = (**dt).borrow().clone();

ncc/tests/arrays.c

@@ -1,5 +1,6 @@
 #include <assert.h>
 #include <stdint.h>
+#include <stddef.h>
 
 int int_array[3] = { 7, 1, 2 };
 
@@ -51,5 +52,11 @@ int main()
     array2d[0][0] = 1;
     assert(array2d[0][0] == 1);
 
+    // Regression: sizeof of local array inside var decl
+    char buf[128];
+    sizeof(buf);
+    size_t sz = sizeof(buf);
+    assert(sz == 128);
+
     return 0;
 }