From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 3 Jul 2010 23:09:25 +0000 (+0000)
Subject: fix warnings
X-Git-Tag: cvc5-1.0.0~8958
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=33f1138d8ab09bf133b945647d9239befe297d5e;p=cvc5.git

fix warnings
---

diff --git a/test/unit/expr/attribute_black.h b/test/unit/expr/attribute_black.h
index c9fc1f50b..06c8decfc 100644
--- a/test/unit/expr/attribute_black.h
+++ b/test/unit/expr/attribute_black.h
@@ -248,8 +248,8 @@ public:
     Node* node = new Node(d_nodeManager->mkVar(booleanType));
 
     bool val = true;
-    bool data0;
-    bool data1;
+    bool data0 = false;
+    bool data1 = false;
 
     BoolAttribute attr;
     TS_ASSERT(node->getAttribute(attr, data0));
@@ -258,8 +258,8 @@ public:
     TS_ASSERT(node->getAttribute(attr, data1));
     TS_ASSERT_EQUALS(data1, val);
 
-    bool data2;
-    bool data3;
+    bool data2 = false;
+    bool data3 = false;
     CDBoolAttribute cdattr;
     TS_ASSERT(node->getAttribute(cdattr, data2));
     TS_ASSERT_EQUALS(false, data2);
diff --git a/test/unit/expr/attribute_white.h b/test/unit/expr/attribute_white.h
index c07fb1b09..0aaf2dfc9 100644
--- a/test/unit/expr/attribute_white.h
+++ b/test/unit/expr/attribute_white.h
@@ -185,7 +185,7 @@ public:
     TS_ASSERT(c.hasAttribute(TestFlag1cd()));
 
     // test two-arg version of hasAttribute()
-    bool bb;
+    bool bb = false;
     Debug("boolattr", "get flag 1 on a (should be F)\n");
     TS_ASSERT(a.getAttribute(TestFlag1cd(), bb));
     TS_ASSERT(! bb);