fix warnings
authorMorgan Deters <mdeters@gmail.com>
Sat, 3 Jul 2010 23:09:25 +0000 (23:09 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 3 Jul 2010 23:09:25 +0000 (23:09 +0000)
test/unit/expr/attribute_black.h
test/unit/expr/attribute_white.h

index c9fc1f50b022330d92894c576320f48ca41b5f92..06c8decfc32d28173df78e0752e5227e4bcb4f2c 100644 (file)
@@ -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);
index c07fb1b09cd38b17a7594e01bd57f94a0cc34b26..0aaf2dfc9aa2d3497d98a2ff6d2ed6f890058edf 100644 (file)
@@ -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);