Home
last modified time | relevance | path

Searched refs:new_curr_ptr (Results 1 – 4 of 4) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/util/
H A Dregion.cpp79 char * new_curr_ptr = m_curr_ptr + size; in allocate() local
80 if (new_curr_ptr < m_curr_end_ptr) { in allocate()
82 m_curr_ptr = ALIGN(char *, new_curr_ptr); in allocate()
H A Dstack.cpp95 char * new_curr_ptr = m_curr_ptr + size; in allocate_small() local
97 if (new_curr_ptr < m_curr_end_ptr) { in allocate_small()
99 m_curr_ptr = ALIGN(char *, new_curr_ptr); in allocate_small()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/util/
H A Dregion.cpp79 char * new_curr_ptr = m_curr_ptr + size; in allocate() local
80 if (new_curr_ptr < m_curr_end_ptr) { in allocate()
82 m_curr_ptr = ALIGN(char *, new_curr_ptr); in allocate()
H A Dstack.cpp95 char * new_curr_ptr = m_curr_ptr + size; in allocate_small() local
97 if (new_curr_ptr < m_curr_end_ptr) { in allocate_small()
99 m_curr_ptr = ALIGN(char *, new_curr_ptr); in allocate_small()