From 8200dac3497a4b07ee38b58ba19306708923c464 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Fri, 20 Jun 2014 10:33:27 +0200 Subject: [PATCH] [mc] Fix compilation warnings/errors when optimizing --- src/mc/mc_visited.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/mc/mc_visited.c b/src/mc/mc_visited.c index 671d702eaf..d2dec58673 100644 --- a/src/mc/mc_visited.c +++ b/src/mc/mc_visited.c @@ -110,6 +110,8 @@ int get_search_interval(xbt_dynar_t list, void *ref, int *min, int *max) } else if (_sg_mc_liveness) { nb_processes = ((mc_visited_pair_t) ref)->nb_processes; heap_bytes_used = ((mc_visited_pair_t) ref)->heap_bytes_used; + } else { + xbt_die("Both liveness and safety are disabled."); } int start = 0; @@ -128,6 +130,10 @@ int get_search_interval(xbt_dynar_t list, void *ref, int *min, int *max) (mc_visited_pair_t) xbt_dynar_get_as(list, cursor, mc_visited_pair_t); nb_processes_test = ((mc_visited_pair_t) ref_test)->nb_processes; heap_bytes_used_test = ((mc_visited_pair_t) ref_test)->heap_bytes_used; + } else { + nb_processes_test = 0; + heap_bytes_used_test = 0; + xbt_die("Both liveness and safety are disabled."); } if (nb_processes_test < nb_processes) { start = cursor + 1; -- 2.20.1