From 45e31b0db3ce1437a2901e17e471ee2e8d6258ce Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 28 Jul 2017 10:17:46 -0700 Subject: [PATCH] add dummy initialization to unused variables to avoid compiler warnings Signed-off-by: Nikolaj Bjorner --- scripts/update_api.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/update_api.py b/scripts/update_api.py index 3c1e1cc07..8cc80e50e 100755 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -768,11 +768,11 @@ def mk_log_macro(file, name, params): cap = param_array_capacity_pos(p) if cap not in auxs: auxs.add(cap) - file.write("unsigned _Z3_UNUSED Z3ARG%s; " % cap) + file.write("unsigned _Z3_UNUSED Z3ARG%s = 0; " % cap) sz = param_array_size_pos(p) if sz not in auxs: auxs.add(sz) - file.write("unsigned * _Z3_UNUSED Z3ARG%s; " % sz) + file.write("unsigned * _Z3_UNUSED Z3ARG%s = 0; " % sz) file.write("%s _Z3_UNUSED Z3ARG%s; " % (param2str(p), i)) i = i + 1 file.write("if (_LOG_CTX.enabled()) { log_%s(" % name)