From 6b3d729da34838fa413f5458180d4801a09b7a05 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Mon, 29 Mar 2021 16:42:05 +0200
Subject: [PATCH] [eacsl] Fix address of end segment in RTL layout

---
 .../observation_model/segment_model/e_acsl_shadow_layout.c    | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.c b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.c
index 5ddb496007a..7fbaa53abc2 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.c
@@ -427,7 +427,7 @@ void set_application_segment(memory_segment *seg, uintptr_t start,
   seg->name = name;
   seg->start = start;
   seg->size = size;
-  seg->end = seg->start + seg->size;
+  seg->end = seg->start + seg->size - 1;
   seg->mspace = msp;
   seg->parent = NULL;
   seg->shadow_ratio = 0;
@@ -442,7 +442,7 @@ void set_shadow_segment(memory_segment *seg, memory_segment *parent,
   seg->size = parent->size/seg->shadow_ratio;
   seg->mspace = eacsl_create_mspace(seg->size + SHADOW_SEGMENT_PADDING, 0);
   seg->start = (uintptr_t)eacsl_mspace_malloc(seg->mspace,1);
-  seg->end = seg->start + seg->size;
+  seg->end = seg->start + seg->size - 1;
   seg->shadow_offset = parent->start - seg->start;
 }
 
-- 
GitLab