From 825548120484826f7de85fe2e8d346b22bf9d63c Mon Sep 17 00:00:00 2001 From: Joakim Hentula Date: Thu, 25 Nov 2021 11:20:40 +0000 Subject: Allow enums to pass #any_int checks --- src/check_type.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/check_type.cpp') diff --git a/src/check_type.cpp b/src/check_type.cpp index b7feb562d..b4f30d2f0 100644 --- a/src/check_type.cpp +++ b/src/check_type.cpp @@ -1564,7 +1564,7 @@ Type *check_get_params(CheckerContext *ctx, Scope *scope, Ast *_params, bool *is p->flags &= ~FieldFlag_const; } if (p->flags&FieldFlag_any_int) { - error(name, "'#const' can only be applied to variable fields"); + error(name, "'#any_int' can only be applied to variable fields"); p->flags &= ~FieldFlag_any_int; } @@ -1614,7 +1614,7 @@ Type *check_get_params(CheckerContext *ctx, Scope *scope, Ast *_params, bool *is ok = false; } } else if (p->flags&FieldFlag_any_int) { - if (!is_type_integer(op.type) || !is_type_integer(type)) { + if ((!is_type_integer(op.type) && !is_type_enum(op.type)) || (!is_type_integer(type) && !is_type_enum(type))) { ok = false; } else if (!check_is_castable_to(ctx, &op, type)) { ok = false; @@ -1684,7 +1684,7 @@ Type *check_get_params(CheckerContext *ctx, Scope *scope, Ast *_params, bool *is param->flags |= EntityFlag_AutoCast; } if (p->flags&FieldFlag_any_int) { - if (!is_type_integer(param->type)) { + if (!is_type_integer(param->type) && !is_type_enum(param->type)) { gbString str = type_to_string(param->type); error(name, "A parameter with '#any_int' must be an integer, got %s", str); gb_string_free(str); -- cgit v1.2.3