From af701914a62375e406b7999ffeaf07d1800c155c Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Fri, 2 Oct 2020 16:57:44 +0200
Subject: [PATCH] [eacsl:runtime] Use address conversion specifier for the
messages when validating the shadow layout
---
.../segment_model/e_acsl_segment_tracking.c | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
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 4a15179f774..c2ec819a1a8 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
@@ -202,14 +202,14 @@ void validate_shadow_layout() {
uintptr_t *src = segments[i];
const char *src_name = segment_names[i];
DVASSERT(src[0] < src[1],
- "Segment %s start is greater than segment end %lu < %lu\n",
+ "Segment %s start is greater than segment end %a < %a\n",
src_name, src[0], src[1]);
for (j = 0; j < num_segments; j++) {
if (i != j) {
uintptr_t *dest = segments[j];
const char *dest_name = segment_names[j];
DVASSERT(src[1] < dest[0] || src[0] > dest[1],
- "Segment %s [%lu, %lu] overlaps with segment %s [%lu, %lu]",
+ "Segment %s [%a, %a] overlaps with segment %s [%a, %a]",
src_name, src[0], src[1], dest_name, dest[0], dest[1]);
}
}
@@ -1043,7 +1043,7 @@ void print_shadows(uintptr_t addr, size_t size) {
}
void print_memory_segment(struct memory_segment *p, char *lab, int off) {
- DLOG(" %s: %lu MB [%lu, %lu]", lab, MB_SZ(p->size), p->start, p->end);
+ DLOG(" %s: %lu MB [%a, %a]", lab, MB_SZ(p->size), p->start, p->end);
if (off)
DLOG("{ Offset: %ld }", p->shadow_offset);
DLOG("\n");
--
GitLab