action: bugfix - use non-zero fence "location"

[cdsspec-compiler.git] / cmodelint.cc

diff --git a/cmodelint.cc b/cmodelint.cc
index 47aef05f28a1c61e72101e171e59da02354c5f09..1632581101e0c5801f8ba14c05d3d12e1fa4c94c 100644 (file)
--- a/cmodelint.cc
+++ b/cmodelint.cc
@@ -39,5 +39,5 @@ void model_rmwc_action(void *obj, memory_order ord) {
 
 /** Issues a fence operation. */
 void model_fence_action(memory_order ord) {
-       model->switch_to_master(new ModelAction(ATOMIC_FENCE, ord, NULL));
+       model->switch_to_master(new ModelAction(ATOMIC_FENCE, ord, FENCE_LOCATION));
 }