aboutsummaryrefslogtreecommitdiff
path: root/src/check_decl.cpp
diff options
context:
space:
mode:
authorHarold Brenes <harold@hbrenes.com>2025-10-08 11:38:20 -0400
committerHarold Brenes <harold@hbrenes.com>2025-10-08 11:38:20 -0400
commit9f5bde4a6f2975f5b783a3e0f7d04f5ecd74b63d (patch)
treea591a635cdd1497011bc035840ed89f03715b68b /src/check_decl.cpp
parent5320feb6737c4d89ce54fda463ea8ff8b8200dba (diff)
Perform type kind check before making use relevant fields in objc_superclass check
Diffstat (limited to 'src/check_decl.cpp')
-rw-r--r--src/check_decl.cpp10
1 files changed, 5 insertions, 5 deletions
diff --git a/src/check_decl.cpp b/src/check_decl.cpp
index fa4eade0f..e54943d80 100644
--- a/src/check_decl.cpp
+++ b/src/check_decl.cpp
@@ -559,6 +559,11 @@ gb_internal void check_type_decl(CheckerContext *ctx, Entity *e, Ast *init_expr,
Type *super = ac.objc_superclass;
while (super != nullptr) {
+ if (super->kind != Type_Named) {
+ error(e->token, "@(objc_superclass) Referenced type must be a named struct");
+ break;
+ }
+
if (type_set_update(&super_set, super)) {
error(e->token, "@(objc_superclass) Superclass hierarchy cycle encountered");
break;
@@ -566,11 +571,6 @@ gb_internal void check_type_decl(CheckerContext *ctx, Entity *e, Ast *init_expr,
check_single_global_entity(ctx->checker, super->Named.type_name, super->Named.type_name->decl_info);
- if (super->kind != Type_Named) {
- error(e->token, "@(objc_superclass) Referenced type must be a named struct");
- break;
- }
-
Type* named_type = base_named_type(super);
GB_ASSERT(named_type->kind == Type_Named);