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

Fix displacement check

Browse Source
This commit is contained in:
gingerBill
2026-08-10 13:50:15 +01:00
parent 6b534a318e
commit ebc21aad72
1 changed files with 13 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
src/check_decl.cpp
View File

@@ -2403,7 +2403,12 @@ gb_internal void check_asm_instruction_operand(CheckerContext *ctx, Entity *enti
// Okay for now
} else {
Entity *param_entity = entity_of_node(disp.expr);
if (param_entity == nullptr || param_entity->kind != Entity_Variable) {
if (disp.mode == Addressing_Constant) {
if (is_type_integer(disp.type)) {
break;
}
}
if (param_entity == nullptr) {
gbString s = expr_to_string(disp.expr);
error(disp.expr, "An displacement value must an integer, got %s", s);
gb_string_free(s);
@@ -2413,12 +2418,16 @@ gb_internal void check_asm_instruction_operand(CheckerContext *ctx, Entity *enti
switch (kind) {
case AsmTemplateEntityDecl_Register:
case AsmTemplateEntityDecl_Immediate:
// okay:
break;
if (is_type_integer(disp.type)) {
break;
}
/*fallthrough*/
default:
{
gbString s = expr_to_string(disp.expr);
error(disp.expr, "An displacement must be an integer value, got %s", s);
gbString t = type_to_string(disp.type);
error(disp.expr, "An displacement must be an integer value, got %s of type %s", s, t);
gb_string_free(t);
gb_string_free(s);
}
break;