From 1570c3e0721de255542e4a106f733b8bd8e8918a Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Fri, 9 Jun 2017 12:45:24 +0200
Subject: [PATCH] Comments
---
.../share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c b/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c
index 750d46c01bc..ea0f5a8d451 100644
--- a/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c
+++ b/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c
@@ -327,7 +327,9 @@ void* store_block(void* ptr, size_t size) {
return tmp;
}
-/* Track a heap block */
+/* Track a heap block. This is a wrapper for all memory allocation functions
+ that create new bittree nodes. It applies to all memory allocating functions
+ but realloc that modifies nodes rather than create them */
static void* store_freeable_block(void* ptr, size_t size, int init_bytes) {
bt_block *blk = NULL;
if (ptr) {
@@ -473,7 +475,7 @@ void* realloc(void* ptr, size_t size) {
if (size <= tmp->size) {
/* adjust new size, allocation not necessary */
tmp->init_bytes = size;
- /* realloc bigger larger block */
+ /* realloc larger block */
} else {
/* size of tmp->init_ptr in the new block */
int nb = needed_bytes(size);
--
GitLab