From 133453b2a3fb74f9008cc77c415a4f53e37d7ce7 Mon Sep 17 00:00:00 2001 From: Christian Heinrich Date: Fri, 12 Feb 2016 16:52:33 +0100 Subject: [PATCH] [SMPI] Added condition before smpi_switch_data_seg This is the case in other files as well and was discussed with Augustin on 12/02/2016. --- src/smpi/smpi_bench.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/smpi/smpi_bench.cpp b/src/smpi/smpi_bench.cpp index ea344a06ee..695615d746 100644 --- a/src/smpi/smpi_bench.cpp +++ b/src/smpi/smpi_bench.cpp @@ -184,7 +184,9 @@ void smpi_switch_data_segment(int dest); void smpi_bench_begin(void) { - smpi_switch_data_segment(smpi_process_index()); + if (smpi_privatize_global_variables) { + smpi_switch_data_segment(smpi_process_index()); + } if (MC_is_active() || MC_record_replay_is_active()) return; -- 2.20.1