From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Wed, 7 Feb 2007 18:18:40 +0000 (+0000)
Subject: dump more -assert graphs
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=ca735b19463cd386c6af968f8bead7395152aee2;p=libfirm

dump more -assert graphs

[r8611]
---

diff --git a/ir/ir/irvrfy.c b/ir/ir/irvrfy.c
index 30ffea46f..db449d07b 100644
--- a/ir/ir/irvrfy.c
+++ b/ir/ir/irvrfy.c
@@ -1900,6 +1900,7 @@ static void check_bads(ir_node *node, void *env)
             fprintf(stderr, "irg_vrfy_bads: Block %ld has Bad predecessor\n", get_irn_node_nr(node));
           }
           if (get_node_verification_mode() == FIRM_VERIFICATION_ON) {
+            dump_ir_block_graph(current_ir_graph, "-assert");
             assert(0 && "Bad CF detected");
           }
         }
@@ -1917,6 +1918,7 @@ static void check_bads(ir_node *node, void *env)
           fprintf(stderr, "irg_vrfy_bads: node %ld has Bad Block\n", get_irn_node_nr(node));
         }
         if (get_node_verification_mode() == FIRM_VERIFICATION_ON) {
+          dump_ir_block_graph(current_ir_graph, "-assert");
           assert(0 && "Bad CF detected");
         }
       }
@@ -1930,6 +1932,7 @@ static void check_bads(ir_node *node, void *env)
           fprintf(stderr, "irg_vrfy_bads: node %ld is a Tuple\n", get_irn_node_nr(node));
         }
         if (get_node_verification_mode() == FIRM_VERIFICATION_ON) {
+          dump_ir_block_graph(current_ir_graph, "-assert");
           assert(0 && "Tuple detected");
         }
       }
@@ -1950,6 +1953,7 @@ static void check_bads(ir_node *node, void *env)
               fprintf(stderr, "irg_vrfy_bads: Phi %ld has Bad Input\n", get_irn_node_nr(node));
             }
             if (get_node_verification_mode() == FIRM_VERIFICATION_ON) {
+              dump_ir_block_graph(current_ir_graph, "-assert");
               assert(0 && "Bad CF detected");
             }
           }
@@ -1963,6 +1967,7 @@ static void check_bads(ir_node *node, void *env)
             fprintf(stderr, "irg_vrfy_bads: node %ld has Bad Input\n", get_irn_node_nr(node));
           }
           if (get_node_verification_mode() == FIRM_VERIFICATION_ON) {
+            dump_ir_block_graph(current_ir_graph, "-assert");
             assert(0 && "Bad NON-CF detected");
           }
         }