module Ciltools: sig
.. end
START OF deepHasAttribute ***********************************************
val isOne : Cil_types.exp -> bool
val is_volatile_tp : Cil_types.typ -> bool
val is_volatile_vi : Cil_types.varinfo -> bool
type
sign =
exception Not_an_integer
val unbox_int_type : Cil_types.typ -> int * sign
val unbox_int_exp : Cil_types.exp -> int64
val box_int_to_exp : int64 -> Cil_types.typ -> Cil_types.exp
val cil_to_ocaml_int : Cil_types.exp -> int64 * int * sign
exception Weird_bitwidth
val ocaml_int_to_cil : int64 -> int -> sign -> Cil_types.exp
val isCompositeType : Cil_types.typ -> bool
val visited : string list Pervasives.ref
START OF deepHasAttribute ***********************************************
class attribute_checker : string -> bool Pervasives.ref ->
object
.. end
val deepHasAttribute : string -> Cil_types.typ -> bool
END OF deepHasAttribute *************************************************
Stuff from ptranal, slightly modified ***********************************
class callBBVisitor :
object
.. end
val one_instruction_per_statement : Cil_types.file -> unit
class vidVisitor :
object
.. end
val globally_unique_vids : Cil_types.file -> unit
End of stuff from ptranal ***********************************************
class sidVisitor :
object
.. end
val globally_unique_sids : Cil_types.file -> unit