From 758b92cdfc793c27128ddf3132a0f2135df29cbb Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Sat, 27 Oct 2012 22:53:54 +0200 Subject: [PATCH] model-checker : fix dynar index in algorithm to get local variable location --- src/mc/mc_global.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index bab8f71b40..2dd304fe6f 100644 --- a/src/mc/mc_global.c +++ b/src/mc/mc_global.c @@ -1289,7 +1289,7 @@ static dw_location_t get_location(xbt_dict_t location_list, char *expr){ dw_location_t new_element = xbt_new0(s_dw_location_t, 1); new_element->type = e_dw_bregister_op; new_element->location.breg_op.reg = atoi(strtok(tok2, "DW_OP_breg")); - new_element->location.breg_op.offset = atoi(xbt_dynar_get_as(tokens2, 2, char*)); + new_element->location.breg_op.offset = atoi(xbt_dynar_get_as(tokens2, 1, char*)); xbt_dynar_push(loc->location.compose, &new_element); }else if(strncmp(tok2, "DW_OP_lit", 9) == 0){ dw_location_t new_element = xbt_new0(s_dw_location_t, 1); -- 2.20.1