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