module Cil_const:smart constructors for some data typessig
..end
val voidType : Cil_types.typ
module CurrentLoc:Computation.REF_OUTPUT
with type data = location
Cil.CurrentLoc
)
val d_loc : Format.formatter -> Cil_types.location -> unit
val d_thisloc : Format.formatter -> unit
(CurrentLoc.get ())
val error : ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a
Localized internal-error with exception raised.
val fatal : ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a
module Build_Counter:
val varinfo_from_vid : int -> Cil_types.varinfo
Not_found
if the given id does not match any varinfo.val varinfos_self : Project.Computation.t
val set_vid : Cil_types.varinfo -> unit
val copy_with_new_vid : Cil_types.varinfo -> Cil_types.varinfo
val new_raw_id : unit -> int
Cil.makeLocalVar
and friends.
Must not be used for setting vid: use Cil_const.set_vid
instead.val make_logic_var : string -> Cil_types.logic_type -> Cil_types.logic_var
val make_logic_info : string -> Cil_types.logic_info