diff --git a/src/plugins/alias/simplified.ml b/src/plugins/alias/simplified.ml index 8250af8e229b46ebca8acba3184ef2e89bcafaad..95d0f57925464ef1d49de7e43776e03b9690c4b6 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