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