From 1d5bf75a20115d8c73b44825f09aab705afce301 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Thu, 13 Sep 2012 10:16:37 -0700
Subject: [PATCH] model: simple ASSERT() bug

Don't ASSERT(rf->is_write()) until we're sure that rf is non-NULL.
---
 model.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/model.cc b/model.cc
index 4475455b..b566b628 100644
--- 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()) {
-- 
2.34.1