model: simple ASSERT() bug

Don't ASSERT(rf->is_write()) until we're sure that rf is non-NULL.

diff --git a/model.cc b/model.cc
index 4475455b14bd97afbe47e4aca32f449feb3d4025..b566b628800126a73cf75726ccd4a2731b59f3f0 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -781,11 +781,13 @@ bool ModelChecker::thin_air_constraint_may_allow(const ModelAction * writer, con
 bool ModelChecker::release_seq_head(const ModelAction *rf,
                 std::vector<const ModelAction *> *release_heads) const
 {
-       ASSERT(rf->is_write());
        if (!rf) {
                /* read from future: need to settle this later */
                return false; /* incomplete */
        }
+
+       ASSERT(rf->is_write());
+
        if (rf->is_release())
                release_heads->push_back(rf);
        if (rf->is_rmw()) {