merge

[c11tester.git] / action.cc

diff --git a/action.cc b/action.cc
index 9c0e29920e362f5d2a2fa7d3681077dad4b7690a..cfdb6e67469d67baa14f02cca00cc49c65e809f0 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -465,6 +465,7 @@ uint64_t ModelAction::get_reads_from_value() const
        ASSERT(is_read());
        if (reads_from)
                return reads_from->get_write_value();
+
        return VALUE_NONE;      // Only for new actions with no reads-from
 }