Skip to content
Snippets Groups Projects
Commit 4e51bca1 authored by Thibault Martin's avatar Thibault Martin
Browse files

[kernel compatiblity] Use records for Cil_types.typ

parent 4e773997
No related branches found
No related tags found
No related merge requests found
......@@ -119,8 +119,8 @@ let add_ghost_code flags =
let base_type = Logic_utils.logicCType typ in
(* The _set is either a fixed array or a pointer *)
let ctype = match flags.static_bindings with
| Some n -> TArray (base_type, Some (Cil.integer ~loc:unkloc n), [])
| None -> TPtr (base_type, [])
| Some n -> Cil_const.mk_tarray base_type (Some (Cil.integer ~loc:unkloc n))
| None -> Cil_const.mk_tptr base_type
in
let var = Cil.makeGlobalVar (setname name) ctype in
let svar = Cil.makeGlobalVar (sizename name) Cil_const.uintType in
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment