mirrors/Odin
1
0
Fork 0
mirror of https://github.com/odin-lang/Odin.git synced 2026-05-25 21:28:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6599 from 3rd-Party-Guy/issue/6594-self-ref-global-init

Browse Source 
Fixes #6594
This commit is contained in:
gingerBill
2026-04-22 13:44:08 +01:00
committed by GitHub
parent 021c224f5c 48e83ad003
commit 01734dfa9b
4 changed files with 45 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
src/check_decl.cpp
View File

@@ -1771,6 +1771,12 @@ gb_internal void check_global_variable_decl(CheckerContext *ctx, Entity *e, Ast
Operand o = {};
check_expr_with_type_hint(ctx, &o, init_expr, e->type);
if (check_vet_shadowing_assignment(ctx->checker, e, init_expr)) {
error(e->token, "Illegal declaration cycle of `%.*s`", LIT(e->token.string));
o.mode = Addressing_Invalid;
o.type = t_invalid;
e->type = t_invalid;
}
check_init_variable(ctx, e, &o, str_lit("variable declaration"));
if (e->Variable.is_rodata && o.mode != Addressing_Constant) {
ERROR_BLOCK();
@@ -1980,6 +1986,20 @@ gb_internal void check_entity_decl(CheckerContext *ctx, Entity *e, DeclInfo *d,
e->parent_proc_decl = c.curr_proc_decl;
e->state = EntityState_InProgress;
bool track_cycle_path = false;
switch (e->kind) {
case Entity_Variable:
case Entity_Constant:
case Entity_TypeName:
track_cycle_path = true;
break;
}
if (track_cycle_path) {
check_type_path_push(&c, e);
}
defer (if (track_cycle_path) {
check_type_path_pop(&c);
});
switch (e->kind) {
case Entity_Variable:

10
src/check_expr.cpp
View File

@@ -1919,6 +1919,16 @@ gb_internal Entity *check_ident(CheckerContext *c, Operand *o, Ast *n, Type *nam
if (e->state == EntityState_Unresolved) {
check_entity_decl(c, e, nullptr, named_type);
}
switch (e->kind) {
case Entity_Constant:
case Entity_Variable:
case Entity_TypeName:
if (check_cycle(c, e, true)) {
o->type = t_invalid;
return e;
}
break;
}
if (e->type == nullptr) {
// TODO(bill): Which is correct? return or compiler_error?
// compiler_error("How did this happen? type: %s; identifier: %.*s\n", type_to_string(e->type), LIT(name));