fix opt/jumpthreading7

[libfirm] / ir / ir / irverify.c

diff --git a/ir/ir/irverify.c b/ir/ir/irverify.c
index 5304700..3173a5c 100644 (file)
--- a/ir/ir/irverify.c
+++ b/ir/ir/irverify.c
@@ -1999,7 +1999,7 @@ int irg_verify(ir_graph *irg, unsigned flags)
        last_irg_error = NULL;
 #endif /* NDEBUG */
 
-       if (!check_cfg(irg))
+       if (pinned && !check_cfg(irg))
                res = 0;
 
        if (res == 1 && (flags & VERIFY_ENFORCE_SSA) && pinned)