From 71e6ff78c7b694573f59c4dd36ad0d8b58c6c315 Mon Sep 17 00:00:00 2001 From: Bill Currie Date: Mon, 17 Feb 2025 14:19:59 +0900 Subject: [PATCH] [qfcc] Limit final check to non-math types All math types (of the same width) are assignable, though warnings might be issued, thus the type_assignable check used for block structs was too broad resulting in incorrect specialization of generics. --- tools/qfcc/source/function.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/qfcc/source/function.c b/tools/qfcc/source/function.c index 57397671f..050097c61 100644 --- a/tools/qfcc/source/function.c +++ b/tools/qfcc/source/function.c @@ -688,7 +688,7 @@ check_type (const type_t *type, callparm_t param, unsigned *cost, bool promote) return true; } // allow any final checks - if (!type_assignable (type, param.type)) { + if (is_math (type) || !type_assignable (type, param.type)) { return false; } }