equal
deleted
inserted
replaced
336 VectorSet& useful_node_set = useful.member_set(); |
336 VectorSet& useful_node_set = useful.member_set(); |
337 |
337 |
338 for (uint node_idx = 0; node_idx < max_idx; node_idx++) { |
338 for (uint node_idx = 0; node_idx < max_idx; node_idx++) { |
339 // If node with index node_idx is not in useful set, |
339 // If node with index node_idx is not in useful set, |
340 // mark it as dead in dead node list. |
340 // mark it as dead in dead node list. |
341 if (! useful_node_set.test(node_idx) ) { |
341 if (!useful_node_set.test(node_idx)) { |
342 record_dead_node(node_idx); |
342 record_dead_node(node_idx); |
343 } |
343 } |
344 } |
344 } |
345 } |
345 } |
346 |
346 |