Searched defs:case_node_pool (Results 1 – 2 of 2) sorted by relevance
1936 tree label, alloc_pool case_node_pool) in add_case_node()2227 alloc_pool case_node_pool = create_alloc_pool ("struct case_node pool", in expand_case() local
1754 object_allocator<case_node> &case_node_pool) in add_case_node()