Merge branch 'branch-weiyu' into new_fuzzer
[c11tester.git] / action.cc
index df44af1..b3db1f1 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -502,6 +502,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
 }