Searched defs:setjmp_point (Results 1 – 2 of 2) sorted by relevance
1168 const program_point &setjmp_point) in valid_longjmp_stack_p()1255 const program_point &setjmp_point = rewind_info.get_setjmp_point (); in on_longjmp() local1410 const program_point &setjmp_point = eedge.m_dest->get_point (); in update_model() local
1517 const program_point &setjmp_point) in valid_longjmp_stack_p()1542 const program_point &setjmp_point) in stale_jmp_buf()1656 const program_point &setjmp_point = rewind_info.get_setjmp_point (); in on_longjmp() local1870 const program_point &setjmp_point = eedge->m_dest->get_point (); in update_model() local