method vglob_aux g =
must_add_decl <- Varinfo.Set.empty;
let add_decl l =
Varinfo.Set.fold
(fun x l ->
PropagationParameters.feedback ~level:2
"Adding declaration of global %a" !Ast_printer.d_var x;
GVarDecl(Cil.empty_funspec(),x,x.vdecl)::l)
must_add_decl l
in ChangeDoChildrenPost([g],add_decl)