sig
val lval_to_loc_with_deps :
skip_base_deps:bool ->
Cil_types.kinstr ->
deps:Locations.Zone.t ->
Cil_types.lval -> Locations.Zone.t * Locations.location
val lval_to_loc : Cil_types.kinstr -> Cil_types.lval -> Locations.location
val expr_to_kernel_function :
Cil_types.kinstr ->
deps:Locations.Zone.t option ->
Cil_types.exp -> Locations.Zone.t * Db_types.kernel_function list
end