module Logic_array:sig
..end
val is_array : Cil_types.typ -> bool
val comparison_to_exp : loc:Cil_types.location ->
Cil_types.kernel_function ->
Env.t ->
name:string ->
Cil_types.binop -> Cil_types.exp -> Cil_types.exp -> Cil_types.exp * Env.t
comparison_to_exp ~loc kf env ~name bop e1 e2
generate the C code
equivalent to e1 bop e2
.
Requires that bop
is either Ne
or Eq
and that e1
and e2
are
arrays.
val translate_rte_ref : (?filter:(Cil_types.code_annotation -> bool) ->
Cil_types.kernel_function -> Env.t -> Cil_types.exp -> Env.t)
Stdlib.ref