Searched refs:record_jump_error (Results 1 – 3 of 3) sorted by relevance
530 void MC_(record_jump_error) ( ThreadId tid, Addr a );
823 void MC_(record_jump_error) ( ThreadId tid, Addr a ) in MC_() argument
3986 MC_(record_jump_error)( tid, bad_addr ); in check_mem_is_defined() local