C++ (Cpp) end_of_default_pageの例

コード例 #1

ファイル: stack.cpp プロジェクト: greatmazinger/z3

inline void stack::allocate_page(size_t m) {
    m_curr_page     = allocate_default_page(m_curr_page, m_free_pages);
    m_curr_ptr      = m_curr_page;
    m_curr_end_ptr  = end_of_default_page(m_curr_page);
    store_mark(m);
}

コード例 #2

ファイル: region.cpp プロジェクト: NikolajBjorner/z3

inline void region::allocate_page() {
    m_curr_page     = allocate_default_page(m_curr_page, m_free_pages);
    m_curr_ptr      = m_curr_page;
    m_curr_end_ptr  = end_of_default_page(m_curr_page);
}