Searched refs:heuristic_reachedness_fault_catcher (Results 1 – 1 of 1) sorted by relevance
738 void heuristic_reachedness_fault_catcher ( Int sigNo, Addr addr ) in heuristic_reachedness_fault_catcher() function761 prev_catcher = VG_(set_fault_catcher)(heuristic_reachedness_fault_catcher); in heuristic_reachedness()