From edc7c991428b74e7f0b47567d22913f8fe0573c6 Mon Sep 17 00:00:00 2001
From: Guillaume Petiot <guillaume.petiot@cea.fr>
Date: Thu, 26 Sep 2013 12:19:52 +0000
Subject: [PATCH] =?UTF-8?q?appels=20=C3=A0=20memset=20remplac=C3=A9s=20par?=
=?UTF-8?q?=20=5F=5Fe=5Facsl=5Fmemset=20qui=20fait=20la=20m=C3=AAme=20chos?=
=?UTF-8?q?e?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
.../e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c | 11 +++++++++--
1 file changed, 9 insertions(+), 2 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 47ba066ab3e..3a7dc723cd6 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
@@ -47,6 +47,13 @@ void __warning(const char* fct_name) {
}
+void* __e_acsl_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;*/
@@ -154,7 +161,7 @@ void* __realloc(void* ptr, size_t size) {
else {
int nb = needed_bytes(size);
tmp->init_ptr = malloc(nb);
- memset(tmp->init_ptr, 0xFF, nb);
+ __e_acsl_memset(tmp->init_ptr, 0xFF, nb);
if(size%8 != 0)
tmp->init_ptr[size/8] <<= (8 - size%8);
}
@@ -221,7 +228,7 @@ void __initialize (void * ptr, size_t size) {
if(tmp->init_cpt == 0) {
int nb = needed_bytes(tmp->size);
tmp->init_ptr = malloc(nb);
- memset(tmp->init_ptr, 0, nb);
+ __e_acsl_memset(tmp->init_ptr, 0, nb);
}
for(i = 0; i < size; i++) {
--
GitLab