Searched defs:record_jump_error (Results 1 – 2 of 2) sorted by relevance
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