Commit 3dff5572 authored by Matthias Braun's avatar Matthias Braun
Browse files

only calculate dominance if CFG verification was fine to avoid crashs/endless loops

parent d32deaaa
...@@ -2018,7 +2018,10 @@ int irg_verify(ir_graph *irg, unsigned flags) ...@@ -2018,7 +2018,10 @@ int irg_verify(ir_graph *irg, unsigned flags)
last_irg_error = NULL; last_irg_error = NULL;
#endif /* NDEBUG */ #endif /* NDEBUG */
if ((flags & VERIFY_ENFORCE_SSA) && pinned) if (!check_cfg(irg))
res = 0;
if (res == 1 && (flags & VERIFY_ENFORCE_SSA) && pinned)
compute_doms(irg); compute_doms(irg);
irg_walk_anchors( irg_walk_anchors(
...@@ -2029,9 +2032,6 @@ int irg_verify(ir_graph *irg, unsigned flags) ...@@ -2029,9 +2032,6 @@ int irg_verify(ir_graph *irg, unsigned flags)
&res &res
); );
if (!check_cfg(irg))
res = 0;
if (get_node_verification_mode() == FIRM_VERIFICATION_REPORT && ! res) { if (get_node_verification_mode() == FIRM_VERIFICATION_REPORT && ! res) {
ir_entity *ent = get_irg_entity(irg); ir_entity *ent = get_irg_entity(irg);
......
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