Module Ciltools


module Ciltools: sig .. end
START OF deepHasAttribute ***********************************************

val is_volatile_tp : Cil_types.typ -> bool
val is_volatile_vi : Cil_types.varinfo -> bool

type sign =
| Signed
| Unsigned
exception Not_an_integer
val unbox_int_type : Cil_types.typ -> int * sign
exception Weird_bitwidth
val ocaml_int_to_cil : My_bigint.t ->
int -> sign -> loc:Cil_types.location -> 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