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