From ae257feef8761e26115090bb72d7fc519927e136 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9cile=20RUET-CROS?= <cecile.ruet-cros@cea.fr>
Date: Tue, 10 Dec 2024 11:41:25 +0100
Subject: [PATCH] [region] footprint
---
src/plugins/region/Region.mli | 2 +-
src/plugins/region/memory.ml | 10 +++++-----
2 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/src/plugins/region/Region.mli b/src/plugins/region/Region.mli
index 0d60818d1b3..5c778af4a25 100644
--- a/src/plugins/region/Region.mli
+++ b/src/plugins/region/Region.mli
@@ -137,5 +137,5 @@ val field : map -> node -> fieldinfo -> node
(** Unormalized. @raises Not_found *)
val index : map -> node -> typ -> node
-(** Unormalized. *)
+(** Normalized list of leaf nodes. *)
val footprint : map -> node -> node list
diff --git a/src/plugins/region/memory.ml b/src/plugins/region/memory.ml
index fb6df27c6e5..4a5931c1c51 100644
--- a/src/plugins/region/memory.ml
+++ b/src/plugins/region/memory.ml
@@ -468,17 +468,17 @@ let field (m: map) (r: node) (fd: fieldinfo) : node =
let footprint (m: map) (r: node) : node list =
try
- let visited = ref SNode.empty (* set of visited&normalized nodes *) in
- let leafs = ref [] (* lsit of leafs *) in
+ let visited = ref SNode.empty (* set of visited & normalized nodes *) in
+ let leaves = ref [] (* returned leaves *) in
let rec visit (r: node) : unit =
let n = node m r in (* normalized node *)
if SNode.mem n !visited then () else
- let _ = visited := SNode.add n !visited in
+ let () = visited := SNode.add n !visited in
let rg = (* raises Not_found *) Ufind.get m.store n in
match rg.clayout with
| Compound (_, _, range) -> Ranges.iter visit range
- | Blob | Cell (_,_) -> leafs := n :: !leafs
- in visit r ; !leafs
+ | Blob | Cell (_,_) -> leaves := n :: !leaves
+ in visit r ; !leaves
with Not_found -> []
let index (m : map) (r: node) (ty:typ) : node =
--
GitLab