sig
val eval_expr_with_deps_state :
with_alarms:CilE.warn_mode ->
Locations.Zone.t option ->
Cvalue.Model.t ->
Cil_types.exp ->
Cvalue.Model.t * Locations.Zone.t option * Locations.Location_Bytes.t
val compute_non_linear :
Cil_types.exp -> (Cil_types.lval * Locations.location option) list
end