remove broken-for-verifier flag

include/libfirm/irgraph.h

@@ -538,7 +538,6 @@ typedef enum {
 	IR_GRAPH_STATE_CONSISTENT_ENTITY_USAGE   = 1U << 14,
 	/** extended basic blocks have been formed and are up to date */
 	IR_GRAPH_STATE_VALID_EXTENDED_BLOCKS     = 1U << 15,
-	IR_GRAPH_STATE_BROKEN_FOR_VERIFIER      = 1U << 15, /**< verifier would unecessarily complain about the graph */
 } ir_graph_state_t;
 ENUM_BITSET(ir_graph_state_t)
 

ir/opt/opt_manage.c

@@ -72,8 +72,5 @@ void perform_irg_optimization(ir_graph *irg, optdesc_t *opt)
 
 	remove_End_Bads_and_doublets(get_irg_end(irg));
 
-	if (!(new_irg_state & IR_GRAPH_STATE_BROKEN_FOR_VERIFIER)) {
-		irg_verify(irg, VERIFY_ENFORCE_SSA);
-	}
-
+	irg_verify(irg, VERIFY_ENFORCE_SSA);
 }