This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH] Dump functions for verification failures
- From: Andi Kleen <andi at firstfloor dot org>
- To: gcc-patches at gcc dot gnu dot org
- Cc: Andi Kleen <ak at linux dot intel dot com>
- Date: Tue, 16 May 2017 19:12:16 -0700
- Subject: [PATCH] Dump functions for verification failures
- Authentication-results: sourceware.org; auth=none
From: Andi Kleen <ak@linux.intel.com>
When a verification check fails it is useful to dump the current
function to the dump file, so it's easier to figure out what
actually went wrong.
Add function dumps for gimple or SSA verification failures.
Suggested by Jakub.
Passes bootstrap and testing on x86_64-linux
gcc/:
2017-05-16 Andi Kleen <ak@linux.intel.com>
* tree-cfg.c (verify_gimple_in_cfg): Dump function.
* tree-into-ssa.c (update_ssa): Dump function.
* tree-outof-ssa.c (eliminate_useless_phis): Dump function.
(rewrite_trees): Dump function.
---
gcc/tree-cfg.c | 6 +++++-
gcc/tree-into-ssa.c | 2 ++
gcc/tree-outof-ssa.c | 4 ++++
3 files changed, 11 insertions(+), 1 deletion(-)
diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c
index 7dbd0a8c247..05073906fbd 100644
--- a/gcc/tree-cfg.c
+++ b/gcc/tree-cfg.c
@@ -5279,7 +5279,11 @@ verify_gimple_in_cfg (struct function *fn, bool verify_nothrow)
(&visited_stmts);
if (err || eh_error_found)
- internal_error ("verify_gimple failed");
+ {
+ if (dump_file)
+ dump_function_to_file (fn->decl, dump_file, dump_flags);
+ internal_error ("verify_gimple failed");
+ }
verify_histograms ();
timevar_pop (TV_TREE_STMT_VERIFY);
diff --git a/gcc/tree-into-ssa.c b/gcc/tree-into-ssa.c
index d4056373f31..de150b8e917 100644
--- a/gcc/tree-into-ssa.c
+++ b/gcc/tree-into-ssa.c
@@ -3387,6 +3387,8 @@ update_ssa (unsigned update_flags)
"renaming: ");
print_generic_expr (stderr, name, TDF_SLIM);
fprintf (stderr, "\n");
+ if (dump_file)
+ dump_function_to_file (cfun->decl, dump_file, dump_flags);
internal_error ("SSA corruption");
}
}
diff --git a/gcc/tree-outof-ssa.c b/gcc/tree-outof-ssa.c
index 0ce6c155bd3..8be0b1088df 100644
--- a/gcc/tree-outof-ssa.c
+++ b/gcc/tree-outof-ssa.c
@@ -821,6 +821,8 @@ eliminate_useless_phis (void)
print_generic_expr (stderr, arg, TDF_SLIM);
fprintf (stderr, "), but the result is :");
print_gimple_stmt (stderr, phi, 0, TDF_SLIM);
+ if (dump_file)
+ dump_function_to_file (cfun->decl, dump_file, dump_flags);
internal_error ("SSA corruption");
}
}
@@ -880,6 +882,8 @@ rewrite_trees (var_map map)
print_generic_expr (stderr, arg, TDF_SLIM);
fprintf (stderr, "), but the result is not :");
print_gimple_stmt (stderr, phi, 0, TDF_SLIM);
+ if (dump_file)
+ dump_function_to_file (cfun->decl, dump_file, dump_flags);
internal_error ("SSA corruption");
}
}
--
2.12.2