From d97ae2e8e756e49591058ce77da7e2a954401297 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Thu, 7 Jan 2016 11:41:14 +0100
Subject: [PATCH] Removed custom implementation of memset in favour of the
system-wide one since the latter is faster
---
.../e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c | 11 ++---------
1 file changed, 2 insertions(+), 9 deletions(-)
diff --git a/src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c b/src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c
index 186267dcf3b..fb0f75dc981 100644
--- a/src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c
+++ b/src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c
@@ -57,13 +57,6 @@ static void warning(const char* message) {
}
// }}}
-void* __e_acsl_mmodel_memset (void* dest, int val, size_t len) {
- unsigned char *ptr = (unsigned char*)dest;
- while (len-- > 0)
- *ptr++ = val;
- return dest;
-}
-
size_t __memory_size = 0;
/*unsigned cpt_store_block = 0;*/
@@ -194,7 +187,7 @@ void* __realloc(void* ptr, size_t size) {
else {
int nb = needed_bytes(size);
tmp->init_ptr = malloc(nb);
- __e_acsl_mmodel_memset(tmp->init_ptr, 0xFF, nb);
+ memset(tmp->init_ptr, 0xFF, nb);
if(size%8 != 0)
tmp->init_ptr[size/8] <<= (8 - size%8);
}
@@ -256,7 +249,7 @@ void __initialize (void * ptr, size_t size) {
if(tmp->init_cpt == 0) {
int nb = needed_bytes(tmp->size);
tmp->init_ptr = malloc(nb);
- __e_acsl_mmodel_memset(tmp->init_ptr, 0, nb);
+ memset(tmp->init_ptr, 0, nb);
}
for(i = 0; i < size; i++) {
--
GitLab