From 114d3fee471c23473619aa235805538ab5aac02c Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Tue, 21 Jul 2020 16:48:44 -0700
Subject: [PATCH] Handle pathological case

---
 execution.cc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/execution.cc b/execution.cc
index 9d80ba49..ce9fa35b 100644
--- a/execution.cc
+++ b/execution.cc
@@ -1197,6 +1197,10 @@ ClockVector * ModelExecution::get_hb_from_write(ModelAction *rf) const {
 					vec = new ClockVector(rf->get_last_fence_release()->get_cv(), NULL);
 				else
 					(vec=new ClockVector(vec, NULL))->merge(rf->get_last_fence_release()->get_cv());
+			} else {
+				if (vec == NULL && rf->is_rmw()) {
+					vec = new ClockVector(NULL, NULL);
+				}
 			}
 			rf->set_rfcv(vec);
 		}
-- 
2.34.1