From 4fa75dd8262ed5c51d5c3219d38235976758889f Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Fri, 20 Nov 2015 10:43:18 +0100 Subject: [PATCH] [mc] Remove useless bits --- src/mc/Process.hpp | 6 ------ src/mc/mc_global.cpp | 5 ----- src/mc/mc_private.h | 2 -- 3 files changed, 13 deletions(-) diff --git a/src/mc/Process.hpp b/src/mc/Process.hpp index 5d50961f0e..55ba5fdece 100644 --- a/src/mc/Process.hpp +++ b/src/mc/Process.hpp @@ -247,10 +247,4 @@ XBT_PRIVATE int open_vm(pid_t pid, int flags); } } -SG_BEGIN_DECL() - -XBT_PRIVATE void MC_invalidate_cache(void); - -SG_END_DECL() - #endif diff --git a/src/mc/mc_global.cpp b/src/mc/mc_global.cpp index 86891d46cb..8733d7692d 100644 --- a/src/mc/mc_global.cpp +++ b/src/mc/mc_global.cpp @@ -561,11 +561,6 @@ void MC_report_crash(int status) MC_print_statistics(mc_stats); } -void MC_invalidate_cache(void) -{ - if (mc_model_checker) - mc_model_checker->process().cache_flags = 0; -} #endif } diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h index f8293b561a..2584801533 100644 --- a/src/mc/mc_private.h +++ b/src/mc/mc_private.h @@ -103,8 +103,6 @@ XBT_PRIVATE void MC_dump_stacks(FILE* file); XBT_PRIVATE void MC_report_assertion_error(void); XBT_PRIVATE void MC_report_crash(int status); -XBT_PRIVATE void MC_invalidate_cache(void); - #ifdef __cplusplus XBT_PRIVATE void MC_find_object_address( -- 2.20.1