Commit 957ba4b4 authored by Andreas Fried's avatar Andreas Fried
Browse files

Fixup for 27215754: Remove additional IRG property flags from remove_bads.

When remove_bads replaces a block, it destroys the additional information
attached to the block (e.g. dominance). Commit 27215754 asserted these
properties in error.
parent c6e8a8ad
......@@ -119,16 +119,11 @@ void remove_bads(ir_graph *irg)
if (n_to_process > 0) {
confirm_irg_properties(irg,
IR_GRAPH_PROPERTY_CONSISTENT_OUTS
| IR_GRAPH_PROPERTY_CONSISTENT_DOMINANCE
| IR_GRAPH_PROPERTY_CONSISTENT_POSTDOMINANCE
| IR_GRAPH_PROPERTY_CONSISTENT_LOOPINFO
| IR_GRAPH_PROPERTY_NO_UNREACHABLE_CODE
IR_GRAPH_PROPERTY_NO_UNREACHABLE_CODE
| IR_GRAPH_PROPERTY_NO_TUPLES
| IR_GRAPH_PROPERTY_NO_CRITICAL_EDGES
| IR_GRAPH_PROPERTY_ONE_RETURN
| IR_GRAPH_PROPERTY_MANY_RETURNS
| IR_GRAPH_PROPERTY_CONSISTENT_DOMINANCE_FRONTIERS
| IR_GRAPH_PROPERTY_CONSISTENT_ENTITY_USAGE);
}
add_irg_properties(irg, IR_GRAPH_PROPERTY_NO_BADS);
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment