Searched refs:local_dead_nodes (Results 1 – 1 of 1) sorted by relevance
777 std::unordered_set<const NodeDef*> local_dead_nodes = dead_nodes; in RemoveDeadBranches() local789 if (local_dead_nodes.find(dead.node) != local_dead_nodes.end()) { in RemoveDeadBranches()828 local_dead_nodes.insert(dead.node); in RemoveDeadBranches()839 if (local_dead_nodes.insert(dead.node).second) { in RemoveDeadBranches()848 std::swap(dead_nodes, local_dead_nodes); in RemoveDeadBranches()