1505   init_offset_poly_table(&m->ptable);  in init_offset_manager()
1527   delete_offset_poly_table(&m->ptable);  in delete_offset_manager()
1553   reset_offset_poly_table(&m->ptable);  in reset_offset_manager()
1587   assert(0 <= k && k < m->ptable.npolys && b != &m->buffer2);  in matching_poly()
1590   p = m->ptable.def[k];  in matching_poly()
1662   assert(0 <= i && i < m->ptable.npolys);  in offset_poly_init_vars()
1664   vars = m->ptable.vars[i];  in offset_poly_init_vars()
1667     p = m->ptable.def[i];  in offset_poly_init_vars()
1702   assert(0 <= i && i < m->ptable.npolys);  in attach_offset_poly()
1704   vars = m->ptable.vars[i];  in attach_offset_poly()
1729   assert(0 <= i && i < m->ptable.npolys);  in detach_offset_poly()
1731   vars = m->ptable.vars[i];  in detach_offset_poly()
1754   assert(0 <= i1 && i1 < m->ptable.npolys && 0 <= i2 && i2 < m->ptable.npolys && i1 != i2);  in report_equality()
1756   t1 = m->ptable.eterm[i1];  in report_equality()
1757   t2 = m->ptable.eterm[i2];  in report_equality()
1773   assert(0 <= i && i < m->ptable.npolys);  in process_poly()
1775   if (offset_poly_is_active(&m->ptable, i)) {  in process_poly()
1777     h  = m->ptable.hash[i];  in process_poly()
1783   p = m->ptable.def[i];  in process_poly()
1787   m->ptable.hash[i] = h;  in process_poly()
1793     mark_offset_poly_active(&m->ptable, i);  in process_poly()
1797     mark_offset_poly_inactive(&m->ptable, i);  in process_poly()
1817     p = make_simple_poly(&m->ptable.pstore, x);  in record_offset_poly()
1820   i = store_offset_poly(&m->ptable, t, x, p);  in record_offset_poly()
1824   assert(offset_poly_is_inactive(&m->ptable, i) &&  in record_offset_poly()
1825          !offset_poly_is_marked(&m->ptable, i));  in record_offset_poly()
1829   mark_offset_poly(&m->ptable, i);  in record_offset_poly()
1842   if (!offset_poly_is_marked(&m->ptable, i)) {  in push_to_process()
1844     mark_offset_poly(&m->ptable, i);  in push_to_process()
2100   ptbl = &m->ptable;  in offset_manager_explain_equality()
2247     assert(offset_poly_is_marked(&m->ptable, k));  in reprocess_polys()
2249     offset_poly_clear_mark(&m->ptable, k);  in reprocess_polys()
2450   np = m->ptable.npolys;  in offset_manager_push()
2477       assert(offset_poly_is_marked(&m->ptable, id));  in cleanup_process_vector()
2492   table = &m->ptable;  in remove_offset_polys()
2499       h = m->ptable.hash[i];  in remove_offset_polys()