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);
}