Searched defs:record_jump_error (Results 1 – 2 of 2) sorted by relevance
772 void MC_(record_jump_error) ( ThreadId tid, Addr a ) in MC_() argument
3978 MC_(record_jump_error)( tid, bad_addr ); in check_mem_is_defined() local