model: silence "uninitialized" warning
authorBrian Norris <banorris@uci.edu>
Thu, 1 Nov 2012 17:58:11 +0000 (10:58 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 1 Nov 2012 17:58:11 +0000 (10:58 -0700)
model.cc

index 0ef825d69d1ae135f1c7cafa934c7867ad43193a..52eab24c6790fdc472bdfc30937fa356aa319fed 100644 (file)
--- 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();