From efb48157b629f9950a06c8987c9a41cd354bb979 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 31 Jan 2013 23:23:19 +0100 Subject: [PATCH] model-checker : variable used ifdef MC_VERBOSE --- src/mc/mc_compare.c | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/src/mc/mc_compare.c b/src/mc/mc_compare.c index 2a49a44417..d0b8fff820 100644 --- a/src/mc/mc_compare.c +++ b/src/mc/mc_compare.c @@ -525,13 +525,18 @@ static int compare_local_variables(char *s1, char *s2){ void *addr1, *addr2; char *ip1 = NULL, *ip2 = NULL; int res_compare = 0; - char *var_name; - + + #ifdef MC_VERBOSE + char *var_name; + #endif + while(cursor < xbt_dynar_length(tokens1)){ s_tokens1 = xbt_str_split(xbt_dynar_get_as(tokens1, cursor, char *), "="); s_tokens2 = xbt_str_split(xbt_dynar_get_as(tokens2, cursor, char *), "="); if(xbt_dynar_length(s_tokens1) > 1 && xbt_dynar_length(s_tokens2) > 1){ - var_name = xbt_dynar_get_as(s_tokens1, 0, char *); + #ifdef MC_VERBOSE + var_name = xbt_dynar_get_as(s_tokens1, 0, char *); + #endif if((strcmp(xbt_dynar_get_as(s_tokens1, 0, char *), "ip") == 0) && (strcmp(xbt_dynar_get_as(s_tokens2, 0, char *), "ip") == 0)){ xbt_free(ip1); xbt_free(ip2); -- 2.20.1