let setCData () =
let (f_decl,f_def) =
Globals.Functions.fold
(fun f (lf_decl,lf_def) ->
let name = (Kernel_function.get_name f) in
match f.fundec with
| Definition _ -> (lf_decl,name::lf_def)
| Declaration _ -> (name::lf_decl,lf_def))
([],[])
in
functions_from_c:=f_def;
ignored_functions:=f_decl;
variables_from_c:=
Globals.Vars.fold
(fun v _ lv ->
Pretty_utils.sfprintf "%a" Cil_datatype.Varinfo.pretty_vname v :: lv)
[]