From 6ae64142366e57976ea0709cb8ef24bcc534c682 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 9 Dec 2012 15:04:14 -0800 Subject: [PATCH] avoiding clang warning messages Signed-off-by: Leonardo de Moura --- scripts/mk_util.py | 8 ++++---- src/tactic/tactical.cpp | 10 +++++----- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index ceae95fab..112096271 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1298,6 +1298,10 @@ def mk_config(): else: CXXFLAGS = '%s -D_NO_OMP_' % CXXFLAGS SLIBEXTRAFLAGS = '' + if DEBUG_MODE: + CXXFLAGS = '%s -g -Wall' % CXXFLAGS + else: + CXXFLAGS = '%s -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer' % CXXFLAGS sysname = os.uname()[0] if sysname == 'Darwin': SO_EXT = '.dylib' @@ -1331,10 +1335,6 @@ def mk_config(): CPPFLAGS = '%s -DZ3DEBUG' % CPPFLAGS if TRACE or DEBUG_MODE: CPPFLAGS = '%s -D_TRACE' % CPPFLAGS - if DEBUG_MODE: - CXXFLAGS = '%s -g -Wall' % CXXFLAGS - else: - CXXFLAGS = '%s -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer' % CXXFLAGS CXXFLAGS = '%s -msse -msse2' % CXXFLAGS config.write('PREFIX=%s\n' % PREFIX) config.write('CC=%s\n' % CC) diff --git a/src/tactic/tactical.cpp b/src/tactic/tactical.cpp index d8ece6a52..785a9d82e 100644 --- a/src/tactic/tactical.cpp +++ b/src/tactic/tactical.cpp @@ -559,10 +559,10 @@ public: ts.push_back(m_ts.get(i)->translate(*new_m)); } - unsigned finished_id = UINT_MAX; - par_exception_kind ex_kind; + unsigned finished_id = UINT_MAX; + par_exception_kind ex_kind = DEFAULT_EX; std::string ex_msg; - unsigned error_code; + unsigned error_code = 0; #pragma omp parallel for for (int i = 0; i < static_cast(sz); i++) { @@ -734,8 +734,8 @@ public: bool found_solution = false; bool failed = false; - par_exception_kind ex_kind; - unsigned error_code; + par_exception_kind ex_kind = DEFAULT_EX; + unsigned error_code = 0; std::string ex_msg; #pragma omp parallel for