From 91e9333cb7b8598b3534de7c9cd0a906cde88f96 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Mon, 1 Apr 2019 10:29:52 +0200
Subject: [PATCH] [Logic_functions] better hash function
---
src/plugins/e-acsl/logic_functions.ml | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/logic_functions.ml b/src/plugins/e-acsl/logic_functions.ml
index ff5faa2a951..516127af015 100644
--- a/src/plugins/e-acsl/logic_functions.ml
+++ b/src/plugins/e-acsl/logic_functions.ml
@@ -327,7 +327,10 @@ module Memo = Hashtbl.Make(struct
Cil_datatype.Logic_type.equal
lfs1.lfs_args_lty
lfs2.lfs_args_lty
- let hash = Hashtbl.hash
+ let hash lfs =
+ Cil_datatype.Logic_info.hash lfs.lfs_li
+ + 257 * let module L = Datatype.List(Cil_datatype.Logic_type) in
+ L.hash (lfs.lfs_lty :: lfs.lfs_args_lty)
end)
let tbl = Memo.create 7
--
GitLab