sig
val new_globals : Cil_types.global list Stdlib.ref
type call_builder = Cil_types.exp -> Cil_types.exp list -> Cil_types.instr
exception Translate_call_exn of Cil_types.varinfo
val fallback_fun_call :
callee:Cil_types.varinfo ->
Cil_types.location ->
Standard.call_builder ->
Va_types.variadic_function -> Cil_types.exp list -> Cil_types.instr list
val aggregator_call :
fundec:Cil_types.fundec ->
ghost:bool ->
Va_types.aggregator ->
Cil_types.block ->
Cil_types.location ->
Standard.call_builder ->
Va_types.variadic_function -> Cil_types.exp list -> Cil_types.instr list
val overloaded_call :
fundec:Cil_types.fundec ->
Va_types.overload ->
Cil_types.block ->
Cil_types.location ->
Standard.call_builder ->
Va_types.variadic_function -> Cil_types.exp list -> Cil_types.instr list
val format_fun_call :
fundec:Cil_types.fundec ->
Environment.t ->
Va_types.format_fun ->
Cil_types.block ->
Cil_types.location ->
Standard.call_builder ->
Va_types.variadic_function -> Cil_types.exp list -> Cil_types.instr list
end