From 6723fe8cd3b7e90de2d9185b94509bc0d225cc64 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 26 Jul 2024 12:40:43 +0200
Subject: [PATCH] [region] fix array in ivette
---
ivette/src/frama-c/plugins/region/memory.tsx | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/plugins/region/memory.tsx b/ivette/src/frama-c/plugins/region/memory.tsx
index 4fe581665e3..2b38fe1acbe 100644
--- a/ivette/src/frama-c/plugins/region/memory.tsx
+++ b/ivette/src/frama-c/plugins/region/memory.tsx
@@ -47,7 +47,11 @@ function makeRecord(
if (offset !== rg.offset)
cells.push(`#${rg.offset - offset}b`);
offset = rg.offset + rg.length;
- cells.push({ label: rg.label, port });
+ const label =
+ rg.cells < 1 ? `${rg.label} […]` :
+ rg.cells > 1 ? `${rg.label} [${rg.cells}]` :
+ rg.label;
+ cells.push({ label, port });
});
if (offset !== sizeof)
cells.push(`#${sizeof-offset}b`);
--
GitLab