- /* no bad block requires no unreachable code */
- if (required & IR_GRAPH_STATE_NO_BAD_BLOCKS)
- required |= IR_GRAPH_STATE_NO_UNREACHABLE_BLOCKS;
-
- /** Some workarounds because information is currently duplicated */
- // FIXME should not be necessary!
- if (dom_inconsistent == get_irg_dom_state(irg))
- clear_irg_state(irg, IR_GRAPH_STATE_CONSISTENT_DOMINANCE);
- if (outs_inconsistent == get_irg_outs_state(irg))
- clear_irg_state(irg, IR_GRAPH_STATE_CONSISTENT_OUTS);
- if (loopinfo_inconsistent == get_irg_loopinfo_state(irg))
- clear_irg_state(irg, IR_GRAPH_STATE_CONSISTENT_LOOPINFO);
- if (ir_entity_usage_not_computed == get_irg_entity_usage_state(irg))
- clear_irg_state(irg, IR_GRAPH_STATE_CONSISTENT_ENTITY_USAGE);
+ /* It does not make sense to require both: */
+ assert (!((required & IR_GRAPH_STATE_ONE_RETURN) && (required & IR_GRAPH_STATE_MANY_RETURNS)));