Searched refs:previously_referenced_nodes (Results 1 – 1 of 1) sorted by relevance
1512 std::unordered_set<node_ptr> previously_referenced_nodes; in garbage_collect_marked_nodes() local1568 previously_referenced_nodes = newly_referenced_nodes; in garbage_collect_marked_nodes()1570 for (auto &n : previously_referenced_nodes) in garbage_collect_marked_nodes()1576 previously_referenced_nodes.clear(); in garbage_collect_marked_nodes()