module Non_linear: sig
.. end
module Ki: Cil_datatype.Kinstr
module Location_list: Datatype.List
(
Locations.Location
)
module Non_linear_assignments: Cil_state_builder.Varinfo_hashtbl
(
Cil_datatype.Kinstr.Hashtbl.Make
(
Location_list
)
)
(
sig
val name : string
val size : int
val dependencies : State.t list
end
)
module Loc_hashtbl: Hashtbl.Make
(
Locations.Location_Bits
)
class do_non_linear_assignments :
object
.. end
val compute_non_linear_assignments : Cil_types.fundec -> Location_list.t Ki.Hashtbl.t
val find : Cil_types.fundec -> Non_linear_assignments.data