From 7f6d86ed5ba0783b923745fe81defb9d8f8db023 Mon Sep 17 00:00:00 2001
From: Guillaume Petiot <guillaume.petiot@cea.fr>
Date: Tue, 2 Jun 2015 15:44:46 +0200
Subject: [PATCH] note about the return type of __store_block
---
src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
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 d3d510abb0a..3d18466210f 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
@@ -91,7 +91,8 @@ void __init_args(int argc, char **argv) {
}
}
-/* store the block of size bytes starting at ptr */
+/* store the block of size bytes starting at ptr, the new block is returned.
+ * Warning: the return type is implicitly (struct _block*). */
void* __store_block(void* ptr, size_t size) {
struct _block * tmp;
assert(ptr != NULL);
--
GitLab