From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sat, 27 Oct 2012 20:53:54 +0000 (+0200)
Subject: model-checker : fix dynar index in algorithm to get local variable location
X-Git-Tag: v3_9_rc1~91^2~126^2~29
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/758b92cdfc793c27128ddf3132a0f2135df29cbb?ds=sidebyside

model-checker : fix dynar index in algorithm to get local variable location
---

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);