From 95cf1447eace96a71c7582c9c39f4d3a82cdc118 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Mon, 10 Apr 2017 13:18:45 +0100 Subject: [PATCH 1/2] Added maintainers.txt for qprofdiff --- contrib/qprofdiff/maintainers.txt | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 contrib/qprofdiff/maintainers.txt diff --git a/contrib/qprofdiff/maintainers.txt b/contrib/qprofdiff/maintainers.txt new file mode 100644 index 000000000..01167f6d3 --- /dev/null +++ b/contrib/qprofdiff/maintainers.txt @@ -0,0 +1,3 @@ +# Maintainers + +- Christoph M. Wintersteiger (@wintersteiger, cwinter@microsoft.com) From b67c1c550127b8bd05d490eec876083fded6afe3 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Mon, 10 Apr 2017 16:28:41 +0100 Subject: [PATCH 2/2] Fixed valgrind warning. Fixes #972 --- src/ast/rewriter/arith_rewriter.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/rewriter/arith_rewriter.cpp b/src/ast/rewriter/arith_rewriter.cpp index 81385c2af..2b2087e3b 100644 --- a/src/ast/rewriter/arith_rewriter.cpp +++ b/src/ast/rewriter/arith_rewriter.cpp @@ -194,7 +194,7 @@ bool arith_rewriter::is_bound(expr * arg1, expr * arg2, op_kind kind, expr_ref & } } expr* t1, *t2; - bool is_int; + bool is_int = false; if (m_util.is_mod(arg2)) { std::swap(arg1, arg2); switch (kind) {