From 537232bc77ad886b6e7ce83aad56571444b97a7a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 11 Mar 2022 17:51:09 +0100
Subject: [PATCH] [Eva] Multidim: fixes a performance issue.

Do not consider the age of bounds in comparison and hash functions.
---
 src/kernel_services/abstract_interp/abstract_memory.ml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/kernel_services/abstract_interp/abstract_memory.ml b/src/kernel_services/abstract_interp/abstract_memory.ml
index 16b4b49c667..1962ce73239 100644
--- a/src/kernel_services/abstract_interp/abstract_memory.ml
+++ b/src/kernel_services/abstract_interp/abstract_memory.ml
@@ -882,11 +882,11 @@ struct
   type t = Bound.t * age
 
   let pretty fmt (b,_) = Bound.pretty fmt b
-  let hash (b,a) = Hashtbl.hash (Bound.hash b, Integer.hash a)
-  let compare (b1,a1) (b2,a2) =
-    Bound.compare b1 b2 <?> (Integer.compare, a1, a2)
-  let equal (b1,a1) (b2,a2) =
-    Bound.equal b1 b2 && Integer.equal a1 a2
+  let hash (b,_a) = Bound.hash b
+  let compare (b1,_a1) (b2,_a2) =
+    Bound.compare b1 b2
+  let equal (b1,_a1) (b2,_a2) =
+    Bound.equal b1 b2
   let _of_integer i a = Bound.of_integer i, a
   let _of_exp e a = Bound.of_exp e, a
   let _succ (b,a) = (Bound.succ b, a)
-- 
GitLab