From 6c16e1156121888f37573f6ed0427350f5fd9229 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 16 Mar 2016 14:34:31 +0100
Subject: [PATCH] [ADT model] comments
---
src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h
index 928b7bb68e0..5d522cf891b 100644
--- a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h
+++ b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h
@@ -313,6 +313,7 @@ int __initialized (void * ptr, size_t size) {
if(tmp->init_cpt == tmp->size)
return true;
+ /* see implementation of function __initialize for details */
for(i = 0; i < size; i++) {
size_t offset = (uintptr_t)ptr - tmp->ptr + i;
int byte = offset/8;
--
GitLab