initial ptr stuff

1 files changed, 26 insertions, 0 deletions

diff --git a/src/analyze.c b/src/analyze.c
index dd85c08..8e76892 100644
--- a/src/analyze.c
+++ b/src/analyze.c
@@ -273,6 +273,31 @@ static int analyze_ref(struct state *state, struct scope *scope,
 	return 0;
 }
 
+static int analyze_deref(struct state *state, struct scope *scope,
+                         struct ast *node)
+{
+	struct ast *expr = deref_base(node);
+	if (analyze(state, scope, expr))
+		return -1;
+
+	if (expr->t->k == TYPE_PTR) {
+		semantic_error(node->scope, node,
+		               "deref of raw ptr not allowed");
+		semantic_info(node->scope, node,
+		              "use fwd_null() to convert to ref");
+		return -1;
+	}
+
+	if (expr->t->k != TYPE_REF) {
+		semantic_error(node->scope, node,
+		               "deref of something not a reference");
+		return -1;
+	}
+
+	node->t = tptr_base(expr->t);
+	return 0;
+}
+
 static int analyze_id(struct state *state, struct scope *scope,
                       struct ast *node)
 {
@@ -443,6 +468,7 @@ static int analyze(struct state *state, struct scope *scope, struct ast *node)
 	case AST_PROC_DEF: ret = analyze_proc(state, scope, node); break;
 	case AST_VAR_DEF: ret = analyze_var(state, scope, node); break;
 	case AST_BLOCK: ret = analyze_block(state, scope, node); break;
+	case AST_DEREF: ret = analyze_deref(state, scope, node); break;
 	case AST_INIT: ret = analyze_init(state, scope, node); break;
 	case AST_CALL: ret = analyze_call(state, scope, node); break;
 	case AST_REF: ret = analyze_ref(state, scope, node); break;