mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 13:29:11 +00:00
Code Activity

add dummy initialization to unused variables to avoid compiler warnings

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2017-07-28 10:17:46 -07:00
parent 31d6abcfe8
commit 45e31b0db3
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
scripts/update_api.py
View file

@ -768,11 +768,11 @@ def mk_log_macro(file, name, params):
cap = param_array_capacity_pos(p) cap = param_array_capacity_pos(p)
if cap not in auxs: if cap not in auxs:
auxs.add(cap) 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) sz = param_array_size_pos(p)
if sz not in auxs: if sz not in auxs:
auxs.add(sz) 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)) file.write("%s _Z3_UNUSED Z3ARG%s; " % (param2str(p), i))
i = i + 1 i = i + 1
file.write("if (_LOG_CTX.enabled()) { log_%s(" % name) file.write("if (_LOG_CTX.enabled()) { log_%s(" % name)