execution: add const

diff --git a/execution.cc b/execution.cc
index e038961d211ca074c0b8deece5fe5fab7eccde51..74fa43ef90f26861455a196d53fec6c3b4b6bf14 100644 (file)
--- 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");