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

gh 6621

Browse Source
This commit is contained in:
Nikolay Hadzhiev
2026-04-27 10:28:35 +02:00
parent 01734dfa9b
commit f91fd92842
3 changed files with 24 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/check_builtin.cpp
View File

@@ -3066,6 +3066,14 @@ gb_internal bool check_builtin_procedure(CheckerContext *c, Operand *operand, As
// check_assignment(c, operand, nullptr, str_lit("argument of 'type_of'"));
if (o.mode == Addressing_Invalid || o.mode == Addressing_Builtin) {
Entity *e = entity_of_node(expr);
if (e != nullptr &&
e->state == EntityState_InProgress &&
e->type == nullptr) {
gbString s = expr_to_string(expr);
error(expr, "Invalid cyclic type usage from 'type_of', got '%s'", s);
gb_string_free(s);
}
return false;
}
if (o.type == nullptr || o.type == t_invalid || is_type_asm_proc(o.type)) {

6
tests/issues/run.sh
View File

@@ -59,6 +59,12 @@ else
echo "SUCCESSFUL 0/1"
exit 1
fi
if [[ $($ODIN build ../test_issue_6621.odin $COMMON 2>&1 >/dev/null | grep -c "Error:") -eq 1 ]] ; then
echo "SUCCESSFUL 1/1"
else
echo "SUCCESSFUL 0/1"
exit 1
fi
$ODIN test ../test_pr_6470.odin $COMMON
if [[ $($ODIN test ../test_pr_6470.odin -define:TEST_EXPECT_FAILURE=true $COMMON 2>&1 >/dev/null | grep -c "Error:") -eq 1 ]] ; then
echo "SUCCESSFUL 1/1"

10
tests/issues/test_issue_6621.odin Normal file
View File

@@ -0,0 +1,10 @@
// Tests issue #6621 https://github.com/odin-lang/Odin/issues/6621
package test_issues
t: struct {
next: ^type_of(t),
}
main :: proc() {
_ = t
}