X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.cc;h=d90a94ee48211ddb17e9a3f26cafcb4e56ca9e55;hb=15ea44894415d4b1150728658d65c641556e5fcf;hp=d65695446486e58a929196335660d8c3172cb94d;hpb=3e2ec3ed4b37f4e6aa8e5e0e9e3241890948c3ac;p=c11tester.git diff --git a/action.cc b/action.cc index d6569544..d90a94ee 100644 --- a/action.cc +++ b/action.cc @@ -38,9 +38,6 @@ ModelAction::ModelAction(action_type_t type, memory_order order, void *loc, last_fence_release(NULL), cv(NULL), rf_cv(NULL), - trace_ref(NULL), - thrdmap_ref(NULL), - action_ref(NULL), value(value), type(type), order(order), @@ -72,9 +69,6 @@ ModelAction::ModelAction(action_type_t type, memory_order order, uint64_t value, last_fence_release(NULL), cv(NULL), rf_cv(NULL), - trace_ref(NULL), - thrdmap_ref(NULL), - action_ref(NULL), value(value), type(type), order(order), @@ -105,9 +99,6 @@ ModelAction::ModelAction(action_type_t type, memory_order order, void *loc, last_fence_release(NULL), cv(NULL), rf_cv(NULL), - trace_ref(NULL), - thrdmap_ref(NULL), - action_ref(NULL), value(value), type(type), order(order), @@ -142,9 +133,6 @@ ModelAction::ModelAction(action_type_t type, const char * position, memory_order last_fence_release(NULL), cv(NULL), rf_cv(NULL), - trace_ref(NULL), - thrdmap_ref(NULL), - action_ref(NULL), value(value), type(type), order(order), @@ -180,9 +168,6 @@ ModelAction::ModelAction(action_type_t type, const char * position, memory_order last_fence_release(NULL), cv(NULL), rf_cv(NULL), - trace_ref(NULL), - thrdmap_ref(NULL), - action_ref(NULL), value(value), type(type), order(order),