CORE
test.c
--reachability-slice-fb --show-goto-functions
target_kept
reachable_before_target_caller_1_kept
reachable_after_target_caller_1_kept
reachable_may_call_target_1_kept
reachable_before_target_caller_2_kept
reachable_after_target_caller_2_kept
reachable_may_call_target_2_kept
--
unreachable_calls_before_target_kept
unreachable_calls_after_target_kept
