Skip to content
Snippets Groups Projects
Commit 8c1753cc authored by Tristan Le Gall's avatar Tristan Le Gall
Browse files

change the definition of nul_exp in simplified.ml

parent df29353e
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/alias/simplified.ml
+ 1
− 1
View file @ 8c1753cc
...@@ -23,7 +23,7 @@ ...@@ -23,7 +23,7 @@
open Cil_types open Cil_types
open Cil_datatype 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 let is_nul_exp = Cil_datatype.ExpStructEq.equal nul_exp
module HL = Lval.Hashtbl module HL = Lval.Hashtbl
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment