Searched refs:newly_referenced_nodes (Results 1 – 1 of 1) sorted by relevance
1513 std::unordered_set<node_ptr> newly_referenced_nodes; in garbage_collect_marked_nodes() local1545 newly_referenced_nodes.insert(nx); in garbage_collect_marked_nodes()1566 while (!newly_referenced_nodes.empty()) in garbage_collect_marked_nodes()1568 previously_referenced_nodes = newly_referenced_nodes; in garbage_collect_marked_nodes()1569 newly_referenced_nodes.clear(); in garbage_collect_marked_nodes()