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