From 8c1753ccb38b8eba66364c2efa61a0a0541d9cfc Mon Sep 17 00:00:00 2001
From: Tristan Le Gall <tristan.le-gall@cea.fr>
Date: Fri, 7 Jul 2023 14:52:38 +0200
Subject: [PATCH] change the definition of nul_exp in simplified.ml

---
 src/plugins/alias/simplified.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/alias/simplified.ml b/src/plugins/alias/simplified.ml
index 8250af8e229..95d0f579254 100644
--- a/src/plugins/alias/simplified.ml
+++ b/src/plugins/alias/simplified.ml
@@ -23,7 +23,7 @@
 open Cil_types
 open Cil_datatype
 
-let nul_exp= Cil.zero ~loc:Location.unknown
+let nul_exp= Cil.kinteger64 ~loc:Location.unknown ~repr:"0.." ~kind:IInt Integer.zero
 let is_nul_exp = Cil_datatype.ExpStructEq.equal nul_exp
 
 module HL = Lval.Hashtbl
-- 
GitLab