sig
type variadic_class =
Unknown
| Defined
| Misc
| Overload of Va_types.overload
| Aggregator of Va_types.aggregator
| FormatFun of Va_types.format_fun
and overload = (Cil_types.typ list * Cil_types.varinfo) list
and aggregator = {
a_target : Cil_types.varinfo;
a_pos : int;
a_type : Va_types.aggregator_type;
a_param : string * Cil_types.typ;
}
and aggregator_type = EndedByNull
and format_fun = {
f_kind : Format_types.format_kind;
f_buffer : Va_types.buffer;
f_additionnal_args : int list;
f_format_pos : int;
}
and buffer = StdIO | Arg of int | Stream of int | File of int | Syslog
type variadic_function = {
vf_decl : Cil_types.varinfo;
vf_original_type : Cil_types.typ;
vf_class : Va_types.variadic_class;
}
end