compiler: add comments and TODOs

Author: chqrlie

ast/type_ref.c2

@@ -68,6 +68,7 @@ public fn void TypeRefHolder.init(TypeRefHolder* h) {
     TypeRef* r = cast<TypeRef*>(&h.ref);
     r.flagBits = 0;
     r.dest = 0;
+    // can leave other members uninitialized because flags and counts are zero
 }
 
 // note: returns dynamic size only!

ast/var_decl.c2

@@ -67,6 +67,7 @@ public fn VarDecl* VarDecl.create(ast_context.Context* c,
     u32 size = sizeof(VarDecl) + ref.getExtraSize();
     // Note: assignLoc only used for initValue
     // Note: for incremental arrays, the initValue will be set later
+    // TODO: better handling of sizeof(SrcLoc)/sizeof(SrcLoc*)
     if (initValue || ref.isIncrArray()) size += sizeof(Expr*) + sizeof(SrcLoc*); // Actually SrcLoc, but need ptr alignment
     assert (kind != VarDeclKind.StructMember);
 

parser/c2_parser.c2

@@ -127,6 +127,7 @@ public fn void Parser.parse(Parser* p, i32 file_id, bool is_interface, bool is_g
     }
 #endif
     buf.free();
+    // TODO: decommission p.tokenizer
 }
 
 fn void Parser.consumeToken(Parser* p) {
@@ -683,6 +684,7 @@ fn void Parser.parseSingleTypeSpecifier(Parser* p, TypeRefHolder* ref, bool allo
         p.error("expected type specifier");
     }
 
+    // TODO: handle qualified pointers
     u32 depth = 0;
     while (p.tok.kind == Kind.Star) {
         depth++;

parser/c2_parser_switch.c2

@@ -37,6 +37,7 @@ fn Stmt* Parser.parseSwitchStmt(Parser* p) {
 
     p.expectAndConsume(Kind.LBrace);
 
+    // TODO: potential memory leak on error
     case_list.List cases;
     cases.init();
 
@@ -64,6 +65,7 @@ fn Stmt* Parser.parseSwitchStmt(Parser* p) {
 }
 
 fn Expr* Parser.parseCaseCondition(Parser* p, identifier_expr_list.List* list) {
+    // TODO: parse constant expression, not just single token.
     bool multi_case = false;
     if (p.tok.kind == Kind.Identifier) {
         Token t2 = p.tokenizer.lookahead(1);
@@ -108,6 +110,7 @@ fn Expr* Parser.parseCaseCondition(Parser* p, identifier_expr_list.List* list) {
     }
 
     while (1) {
+        // TODO accept general ranges: expr1 ... expr1 and let analyser check if expr1 <= expr2
         p.expectIdentifier();
 
         IdentifierExpr* id1 = p.parseIdentifier();