let check_pathdeps (stack, froms) =
  let kf = Cilutil.Stack.top stack in
  Format.printf "Computing path dependencies for %s@." 
    (Kernel_function.get_name kf);
  match kf.fundec with
    Definition (f, _) -> begin
      let computer = new do_pathdepscheck froms in
      ignore (visitCilFunction (computer:>cilVisitor) f);  
      let result = computer#result in
      Format.printf "Path dependencies: %a@."
        Zone.pretty result;
      try
        ignore (Functionwise_Pathdeps.find kf);
        assert false
      with Not_found ->
        Functionwise_Pathdeps.add kf result
      end
  | Declaration _ ->
      assert false