Lines Matching refs:get_stack_depth
729 gcc_assert (m_point.get_stack_depth () in validate()
730 == m_state.m_region_model->get_stack_depth ()); in validate()
733 for (int depth = 0; depth < m_point.get_stack_depth (); ++depth) in validate()
1266 gcc_assert (longjmp_point.get_stack_depth () in on_longjmp()
1267 >= setjmp_point.get_stack_depth ()); in on_longjmp()
1278 setjmp_point.get_stack_depth (), ctxt); in on_longjmp()
1346 if (get_point ().get_stack_depth () > 1) in detect_leaks()
1350 gcc_assert (get_point ().get_stack_depth () == 1); in detect_leaks()
1412 gcc_assert (longjmp_point.get_stack_depth () in update_model()
1413 >= setjmp_point.get_stack_depth ()); in update_model()
1417 setjmp_point.get_stack_depth (), NULL); in update_model()
1429 const int src_stack_depth = src_point.get_stack_depth (); in add_events_to_path()
1432 const int dst_stack_depth = dst_point.get_stack_depth (); in add_events_to_path()