Merge branch 'branch-weiyu' into new_fuzzer

[c11tester.git] / action.cc

diff --git a/action.cc b/action.cc
index df44af19953e334e47ba65d56a249e9cd47840a2..b3db1f16280f58e234fcd9484c11b7e204671126 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();
        ASSERT(is_read());
        if (reads_from)
                return reads_from->get_write_value();

+

        return VALUE_NONE;      // Only for new actions with no reads-from
 }
 
        return VALUE_NONE;      // Only for new actions with no reads-from
 }