package goblint-cil

You can search for identifiers within the package.

in-package search v0.2.0

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 =

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 ref

START OF deepHasAttribute ***********************************************

class attribute_checker : string -> bool ref -> object ... end

val deepHasAttribute : string -> Cil.typ -> bool

END OF deepHasAttribute *************************************************

Stuff from ptranal, slightly modified ***********************************

class callBBVisitor : object ... end

val one_instruction_per_statement : Cil.file -> unit

class vidVisitor : object ... end

val globally_unique_vids : Cil.file -> unit

End of stuff from ptranal ***********************************************

class sidVisitor : object ... end

val globally_unique_sids : Cil.file -> unit

Comparing expressions without a Out_of_memory error *********************

val compare_exp : 'a -> 'a -> int