From 178fa56c36e45267d59c545dea0b9c7be93a4e1e Mon Sep 17 00:00:00 2001 From: bdemsky Date: Tue, 23 Feb 2016 16:07:39 -0800 Subject: [PATCH] bug in fence support fixed --- action.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/action.cc b/action.cc index 876de12..d4c6253 100644 --- a/action.cc +++ b/action.cc @@ -330,7 +330,7 @@ bool ModelAction::could_synchronize_with(const ModelAction *act) const return false; // Different locations commute - if (!same_var(act)) + if (!same_var(act) && !is_fence() && !act->is_fence()) return false; // Explore interleavings of seqcst writes/fences to guarantee total -- 2.34.1