Handle pathological case

diff --git a/execution.cc b/execution.cc
index 9d80ba49bf82202eada7381559a351041ef03489..ce9fa35b68a527fa9f2a193d9ebbc172698c9781 100644 (file)
--- 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);
                }