diff options
Diffstat (limited to 'src/analyze.c')
| -rw-r--r-- | src/analyze.c | 26 |
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; |