From 970087a9908d92cd6b234e84582771e4f4f25ceb Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Tue, 13 Oct 2015 00:42:25 +0200 Subject: [PATCH] [mc] Remove useless *_free_voidp functions --- src/mc/mc_compare.cpp | 10 ---------- src/mc/mc_pair.cpp | 5 ----- 2 files changed, 15 deletions(-) diff --git a/src/mc/mc_compare.cpp b/src/mc/mc_compare.cpp index c8043e8699..65ec2a3100 100644 --- a/src/mc/mc_compare.cpp +++ b/src/mc/mc_compare.cpp @@ -74,21 +74,11 @@ static void stack_region_free(stack_region_t s) } } -static void stack_region_free_voidp(void *s) -{ - stack_region_free((stack_region_t) * (void **) s); -} - static void pointers_pair_free(pointers_pair_t p) { xbt_free(p); } -static void pointers_pair_free_voidp(void *p) -{ - pointers_pair_free((pointers_pair_t) * (void **) p); -} - /************************** Snapshot comparison *******************************/ /******************************************************************************/ diff --git a/src/mc/mc_pair.cpp b/src/mc/mc_pair.cpp index bd477b82a0..12936db18b 100644 --- a/src/mc/mc_pair.cpp +++ b/src/mc/mc_pair.cpp @@ -31,9 +31,4 @@ void MC_pair_delete(mc_pair_t p) p = NULL; } -void mc_pair_free_voidp(void *p) -{ - MC_pair_delete((mc_pair_t) * (void **) p); -} - } -- 2.20.1