action: bugfix - reads-from value should be VALUE_NONE for new actions

If a new read action hasn't had a chance to choose a valid reads-from or
reads-from-promise, it can have "no" value. This only occurs if we are
terminating an infeasible execution, where there were no valid reads to
read from.

This bug was triggering faults only for verbose printing, were we would
print the status of an incomplete read.

diff --git a/action.cc b/action.cc
index 5f83c3f5604524692e88e1c9478db7bb9f7216fc..757b3d1d2fcc53bf1ed86a711785a84f808d1883 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -394,7 +394,9 @@ 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 reads_from_promise->get_value();
+       else if (reads_from_promise)
+               return reads_from_promise->get_value();
+       return VALUE_NONE; /* Only for new actions with no reads-from */

 }
 
 /**
 }
 
 /**