From 696f42cd6bac176e5a1652b28a615db1bd186e48 Mon Sep 17 00:00:00 2001 From: Michael Beck Date: Thu, 7 Apr 2011 09:28:36 +0200 Subject: [PATCH] irg_verify() now runs on unpinned graphs without asserting. --- ir/ir/irverify.c | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/ir/ir/irverify.c b/ir/ir/irverify.c index 90fb44b37..18d91d2ab 100644 --- a/ir/ir/irverify.c +++ b/ir/ir/irverify.c @@ -1846,21 +1846,21 @@ int irg_verify(ir_graph *irg, unsigned flags) { int res = 1; #ifdef DEBUG_libfirm + int pinned = get_irg_pinned(irg) == op_pin_state_pinned; #ifndef NDEBUG - last_irg_error = NULL; + last_irg_error = NULL; #endif /* NDEBUG */ - assert(get_irg_pinned(irg) == op_pin_state_pinned && "Verification need pinned graph"); - - if (flags & VERIFY_ENFORCE_SSA) + if ((flags & VERIFY_ENFORCE_SSA) && pinned) compute_doms(irg); irg_walk_anchors( irg, - get_irg_dom_state(irg) == dom_consistent && - get_irg_pinned(irg) == op_pin_state_pinned ? verify_wrap_ssa : verify_wrap, - NULL, &res + pinned && get_irg_dom_state(irg) == dom_consistent + ? verify_wrap_ssa : verify_wrap, + NULL, + &res ); if (get_node_verification_mode() == FIRM_VERIFICATION_REPORT && ! res) { -- 2.20.1