X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.cc;h=a22e0214a6c2a3fdabd01a5442b3cba6643c616d;hp=9dc1d37c71bb6ac93844d057efd7928818d7e053;hb=9cadc8ddfd0b4597daab0bceb6a80cdac4cfffb4;hpb=fbcb205af54b85aed7d2d9a6ed1eaa91e7d70a23;ds=sidebyside

diff --git a/model.cc b/model.cc
index 9dc1d37c..a22e0214 100644
--- a/model.cc
+++ b/model.cc
@@ -658,7 +658,8 @@ Thread * ModelChecker::check_current_action(ModelAction *curr)
 			bool updated = false;
 
 			if (act->is_read()) {
-				if (r_modification_order(act, act->get_reads_from()))
+				const ModelAction *rf = act->get_reads_from();
+				if (rf != NULL && r_modification_order(act, rf))
 					updated = true;
 			}
 			if (act->is_write()) {