- /*
- * Normally one would use irg_block_walk_graph() here, however, this does NOT
- * guarantee that all UNREACHABLE blocks are visited.
- * This could led to wrong dominance info in those blocks, causing
- * the verifier to crash for instance.
- * So, we visit EVERY node to ensure the info is updated.
- */
- irg_walk_graph(irg, pre, NULL, &n_blocks);
- return n_blocks;
+ memset(get_dom_info(bl), 0, sizeof(ir_dom_info));
+ set_Block_idom(bl, NULL);
+ set_Block_dom_pre_num(bl, -1);
+ set_Block_dom_depth(bl, -1);