From f2985c9f33349ba90e605aa806d4b909aed41df4 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Thu, 12 Oct 2023 09:02:53 +0000 Subject: [PATCH] as10k1: make (extern) declarations and definition of macro_depth All `extern` declarations refer to it as `unsigned int`, but the actual definition is a signed integer. Reported by CBMC's goto-cc compiler, which performs type-aware linking. Closes: https://github.com/alsa-project/alsa-tools/pull/19 Signed-off-by: Michael Tautschnig Signed-off-by: Jaroslav Kysela --- as10k1/as10k1.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/as10k1/as10k1.h b/as10k1/as10k1.h index b897f3b..1713963 100644 --- a/as10k1/as10k1.h +++ b/as10k1/as10k1.h @@ -55,6 +55,6 @@ int tram_table_count=0; int gpr_constant_count=0; char patch_name[PATCH_NAME_SIZE]="NO_NAME"; -int macro_depth=0; +unsigned int macro_depth=0; -- 2.47.1