X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=execution.cc;h=74fa43ef90f26861455a196d53fec6c3b4b6bf14;hp=e038961d211ca074c0b8deece5fe5fab7eccde51;hb=4240d2152b14f8d5305ee524280cbb9a3a54e5ef;hpb=29de97f281defdf0c79ef4afc5abf88b430d3864 diff --git a/execution.cc b/execution.cc index e038961d..74fa43ef 100644 --- a/execution.cc +++ b/execution.cc @@ -309,8 +309,8 @@ ModelAction * ModelExecution::get_last_fence_conflict(ModelAction *act) const return NULL; /* Skip past the release */ - action_list_t *list = action_trace; - action_list_t::reverse_iterator rit; + const action_list_t *list = action_trace; + action_list_t::const_reverse_iterator rit; for (rit = list->rbegin(); rit != list->rend(); rit++) if (*rit == last_release) break; @@ -2581,9 +2581,9 @@ ModelAction * ModelExecution::get_uninitialized_action(const ModelAction *curr) return act; } -static void print_list(action_list_t *list) +static void print_list(const action_list_t *list) { - action_list_t::iterator it; + action_list_t::const_iterator it; model_print("---------------------------------------------------------------------\n");