Make (extern) declarations and definition of macro_depth consistent

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.
This commit is contained in:
Michael Tautschnig 2023-10-12 09:02:53 +00:00
parent 8c8d6941f2
commit 677b700eb1

View file

@ -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;