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