Module Cil_const


module Cil_const: sig .. end
smart constructors for some data types

val voidType : Cil_types.typ
module CurrentLoc: State_builder.Ref  with type data = location
forward reference to current location (see Cil.CurrentLoc)
val d_loc : Format.formatter -> Cil_types.location -> unit
Pretty-print a location
val d_thisloc : Format.formatter -> unit
Pretty-print the (CurrentLoc.get ())
val error : ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a
Localized user-error with exception raised.

Localized internal-error with exception raised.

val fatal : ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a
module Build_Counter: 
functor (Name : sig
val name : string
end) -> sig .. end
creates a new counter that is project-aware.
module Vid: sig .. end
val set_vid : Cil_types.varinfo -> unit
set the vid to a fresh number.
val copy_with_new_vid : Cil_types.varinfo -> Cil_types.varinfo
returns a copy of the varinfo with a fresh vid.
val new_raw_id : unit -> int
Generate a new ID. This will be different than any variable ID that is generated by 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
Create a fresh logical variable giving its name and type.
val make_logic_info : string -> Cil_types.logic_info
Create a fresh logical variable giving its name and type.