From d8c3b273d3c26386a7b0bf2c491e297e522f9cfe Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 8 May 2017 10:50:06 -0700 Subject: [PATCH] adding benign initialization Signed-off-by: Nikolaj Bjorner --- src/smt/theory_str.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/theory_str.cpp b/src/smt/theory_str.cpp index 818aca29a..df1418aea 100644 --- a/src/smt/theory_str.cpp +++ b/src/smt/theory_str.cpp @@ -10059,7 +10059,7 @@ namespace smt { } TRACE("str", tout << "last bounds are [" << lastBounds.lowerBound << " | " << lastBounds.midPoint << " | " << lastBounds.upperBound << "]!" << lastBounds.windowSize << std::endl;); binary_search_info newBounds; - expr * newTester; + expr * newTester = 0; if (lastTesterConstant == "more") { // special case: if the midpoint, upper bound, and window size are all equal, // we double the window size and adjust the bounds