From: Brian Norris <banorris@uci.edu>
Date: Thu, 1 Nov 2012 17:58:11 +0000 (-0700)
Subject: model: silence "uninitialized" warning
X-Git-Tag: pldi2013~33
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=b133a2b2e11e6b95dfa805b9b90a4e53dce3d81d

model: silence "uninitialized" warning
---

diff --git a/model.cc b/model.cc
index 0ef825d..52eab24 100644
--- a/model.cc
+++ b/model.cc
@@ -441,7 +441,7 @@ ModelAction * ModelChecker::get_next_backtrack()
  */
 bool ModelChecker::process_read(ModelAction *curr, bool second_part_of_rmw)
 {
-	uint64_t value;
+	uint64_t value = VALUE_NONE;
 	bool updated = false;
 	while (true) {
 		const ModelAction *reads_from = curr->get_node()->get_read_from();