mirrors/Odin
1
0
Fork 0
mirror of https://github.com/odin-lang/Odin.git synced 2026-02-12 22:33:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add #must_tail and "preserve/none" calling convention

Browse Source
This commit is contained in:
gingerBill
2026-01-15 17:28:28 +00:00
parent 0366cd3304
commit 5f07055ac1
6 changed files with 21 additions and 44 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/check_expr.cpp
View File

@@ -8426,11 +8426,14 @@ gb_internal ExprKind check_call_expr(CheckerContext *c, Operand *operand, Ast *c
break;
case ProcTailing_must_tail:
is_call_tailed = true;
if (proc != nullptr) {
Entity *e = entity_from_expr(proc);
if (e != nullptr && e->kind == Entity_Procedure) {
// TODO(bill): `preserve_none`
}
if (c->curr_proc_sig == nullptr || !are_types_identical(c->curr_proc_sig, pt)) {
ERROR_BLOCK();
gbString a = type_to_string(pt);
gbString b = type_to_string(c->curr_proc_sig);
error(call, "Use of '#must_tail' of a procedure must have the same type as the procedure it was called within");
error_line("\tCall type: %s, parent type: %s", a, b);
gb_string_free(b);
gb_string_free(a);
}
break;
}