let compute_ignored_functions file = let visitor = new visit_computing_ignored_functions () in Cil.visitCilFile (visitor :> Cil.cilVisitor) file