Lines Matching refs:_GLIBCXX_DEBUG_ASSERT
60 _GLIBCXX_DEBUG_ASSERT(m_a_aux[i] == NULL);
70 _GLIBCXX_DEBUG_ASSERT(base_type::empty());
74 _GLIBCXX_DEBUG_ASSERT(!base_type::empty());
75 _GLIBCXX_DEBUG_ASSERT(base_type::parent(m_p_max) == NULL);
76 _GLIBCXX_DEBUG_ASSERT(m_p_max->m_p_prev_or_parent == NULL);
78 _GLIBCXX_DEBUG_ASSERT(!Cmp_Fn::operator()(m_p_max->m_value, it.m_p_nd->m_value));
95 _GLIBCXX_DEBUG_ASSERT(p_nd->m_p_next_sibling == NULL);
97 _GLIBCXX_DEBUG_ASSERT(p_nd->m_metadata == p_nd->m_p_next_sibling->m_metadata + 1);
101 _GLIBCXX_DEBUG_ASSERT(p_nd->m_p_l_child->m_metadata + 1 == base_type::degree(p_nd));
107 _GLIBCXX_DEBUG_ASSERT(unmarked_valid || marked_valid);
109 _GLIBCXX_DEBUG_ASSERT(unmarked_valid);
