From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 13 Dec 2018 00:37:59 +0000 (-0800)
Subject: Fix compiler warnings. (#2748)
X-Git-Tag: cvc5-1.0.0~4324
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c2be681200406d8a96a1c2e1b9fbbb228334eed8;p=cvc5.git

Fix compiler warnings. (#2748)
---

diff --git a/src/theory/bv/theory_bv_rewrite_rules_simplification.h b/src/theory/bv/theory_bv_rewrite_rules_simplification.h
index 7efdc2c81..c58d69f6f 100644
--- a/src/theory/bv/theory_bv_rewrite_rules_simplification.h
+++ b/src/theory/bv/theory_bv_rewrite_rules_simplification.h
@@ -535,7 +535,7 @@ inline Node RewriteRule<AndOrXorConcatPullUp>::apply(TNode node)
 {
   Debug("bv-rewrite") << "RewriteRule<AndOrXorConcatPullUp>(" << node << ")"
                       << std::endl;
-  uint32_t m, my, mz, n;
+  uint32_t m, my, mz;
   size_t nc;
   Kind kind = node.getKind();
   TNode concat;
@@ -589,7 +589,9 @@ inline Node RewriteRule<AndOrXorConcatPullUp>::apply(TNode node)
     z = nc > 1 ? zb.constructNode() : zb[0];
   }
   m = utils::getSize(x);
-  n = utils::getSize(c);
+#ifdef CVC4_ASSERTIONS
+  uint32_t n = utils::getSize(c);
+#endif
   my = y.isNull() ? 0 : utils::getSize(y);
   mz = z.isNull() ? 0 : utils::getSize(z);
   Assert(mz == m - my - n);