really should be using a type that is big enough for all commonly used data types...

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 0bd9b61b410f7c57f2991f9446cb74847448a55e..0c5733b543cf84899a582cdabfd6eecb1fba8b90 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -278,7 +278,7 @@ void ModelChecker::check_current_action(void)
        /* TODO: perform release/acquire synchronization here; include
         * reads_from as ModelAction member? */
        Thread *th = get_thread(curr->get_tid());
-       int value = VALUE_NONE;
+       uint64_t value = VALUE_NONE;
        if (curr->is_read()) {
                const ModelAction *reads_from = curr->get_node()->get_next_read_from();
                value = reads_from->get_value();