From 8fdf3177da2ad94837d1da3ef2a34d2306b094c8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 31 Jul 2017 14:06:29 -0700 Subject: [PATCH] add initialization to unused parameters Signed-off-by: Nikolaj Bjorner --- scripts/update_api.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/update_api.py b/scripts/update_api.py index 8cc80e50e..7c9f553cb 100755 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -773,7 +773,7 @@ def mk_log_macro(file, name, params): if sz not in auxs: auxs.add(sz) file.write("unsigned * _Z3_UNUSED Z3ARG%s = 0; " % sz) - file.write("%s _Z3_UNUSED Z3ARG%s; " % (param2str(p), i)) + file.write("%s _Z3_UNUSED Z3ARG%s = 0; " % (param2str(p), i)) i = i + 1 file.write("if (_LOG_CTX.enabled()) { log_%s(" % name) i = 0