Module Logic_array

module Logic_array: sig .. end

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