From 6bec90694f2c50157a0ca4023ac1ff2383bffe54 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Sun, 7 Oct 2012 14:47:46 +0200 Subject: [PATCH 1/1] model-checker : test if variable is initialized (warning with optimizations) --- src/mc/mc_checkpoint.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c index 81235b1c80..3e1f5a0271 100644 --- a/src/mc/mc_checkpoint.c +++ b/src/mc/mc_checkpoint.c @@ -207,7 +207,7 @@ void get_libsimgrid_plt_section(){ lfields[i] = strtok(NULL, " "); } - if(i>=5){ + if(i>=6){ if(strcmp(lfields[1], ".plt") == 0){ size = strtoul(lfields[2], NULL, 16); offset = strtoul(lfields[5], NULL, 16); @@ -264,7 +264,7 @@ void get_binary_plt_section(){ lfields[i] = strtok(NULL, " "); } - if(i>=5){ + if(i>=6){ if(strcmp(lfields[1], ".plt") == 0){ size = strtoul(lfields[2], NULL, 16); offset = strtoul(lfields[5], NULL, 16); -- 2.20.1