goblint-cil
  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
val isOne : Cil.exp -> bool
val is_volatile_tp : Cil.typ -> bool
val is_volatile_vi : Cil.varinfo -> bool
type sign =
  1. | Signed
  2. | Unsigned
exception Not_an_integer
val unbox_int_type : Cil.typ -> int * sign
exception Weird_bitwidth
val ocaml_int_to_cil : int64 -> int -> sign -> Cil.exp
val isCompositeType : Cil.typ -> bool
val visited : string list Pervasives.ref
class attribute_checker : string -> bool Pervasives.ref -> object ... end
val deepHasAttribute : string -> Cil.typ -> bool
class callBBVisitor : object ... end
val one_instruction_per_statement : Cil.file -> unit
class vidVisitor : object ... end
val globally_unique_vids : Cil.file -> unit
class sidVisitor : object ... end
val globally_unique_sids : Cil.file -> unit
val compare_exp : 'a -> 'a -> int