module type Kinstr_S =sig
..end
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