From d4c7bcc722fc199e3687fdfe6dc0270692c713f2 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Fri, 13 Nov 2020 10:37:43 +0100
Subject: [PATCH] [eacsl] Fix testing of heap initialization
---
.../observation_model/segment_model/e_acsl_segment_tracking.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.c b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.c
index 083d015a301..bb1e201fef3 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.c
@@ -895,7 +895,7 @@ int heap_initialized(uintptr_t addr, long len) {
unsigned char mask = 0;
setbits64_skip(set,mask,skip);
- if (*shadow != mask)
+ if ((*shadow & mask) != mask)
return 0;
}
if (len > 0)
--
GitLab