From b133a2b2e11e6b95dfa805b9b90a4e53dce3d81d Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Thu, 1 Nov 2012 10:58:11 -0700
Subject: [PATCH] model: silence "uninitialized" warning

---
 model.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/model.cc b/model.cc
index 0ef825d6..52eab24c 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();
-- 
2.34.1