module Norm: sig
.. end
class retypeArrayVariables :
object
.. end
val retype_array_variables : Cil_types.file -> unit
class retypeLogicFunctions :
object
.. end
val retype_logic_functions : Cil_types.file -> unit
val return_vars : unit Cilutil.VarinfoHashtbl.t
class expandStructAssign : unit ->
object
.. end
val expand_struct_assign : Cil_types.file -> unit
class retypeStructVariables :
object
.. end
val retype_struct_variables : Cil_types.file -> unit
class retypeAddressTaken :
object
.. end
val retype_address_taken : Cil_types.file -> unit
class retypeFields :
object
.. end
val retype_fields : Cil_types.file -> unit
class retypeTypeTags :
object
.. end
val retype_type_tags : Cil_types.file -> unit
val debugtab : ('_a, '_b) Hashtbl.t
class retypeBasePointer :
object
.. end
val retype_base_pointer : Cil_types.file -> unit
class removeUselessCasts :
object
.. end
val remove_useless_casts : Cil_types.file -> unit
val generated_union_types : unit Cilutil.TypeHashtbl.t
class translateUnions :
object
.. end
val translate_unions : Cil_types.file -> unit
class removeArrayAddress :
object
.. end
val remove_array_address : Cil_types.file -> unit
val normalize : Cil_types.file -> unit