diff options
| author | Tom de Vries <tom@codesourcery.com> | 2015-10-13 22:10:45 +0000 |
|---|---|---|
| committer | Tom de Vries <vries@gcc.gnu.org> | 2015-10-13 22:10:45 +0000 |
| commit | a352b7102707500d1977c714d41d799b27de0a49 (patch) | |
| tree | b665ebf30f00014559d844b98d11bcc6741fb5bb /gcc/cfganal.h | |
| parent | 179b8d05e9b773510208660d57f7e78504e75a9d (diff) | |
Check no unreachable blocks in inverted_post_order_compute
2015-10-14 Tom de Vries <tom@codesourcery.com>
* cfganal.c (verify_no_unreachable_blocks): New function.
(inverted_post_order_compute) [ENABLE_CHECKING]: Call
verify_no_unreachable_blocks.
cfganal.h (verify_no_unreachable_blocks): Declare.
From-SVN: r228789
Diffstat (limited to 'gcc/cfganal.h')
| -rw-r--r-- | gcc/cfganal.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/cfganal.h b/gcc/cfganal.h index 3eb47648099..2ad00c0e705 100644 --- a/gcc/cfganal.h +++ b/gcc/cfganal.h @@ -49,6 +49,7 @@ private: extern bool mark_dfs_back_edges (void); extern void find_unreachable_blocks (void); +extern void verify_no_unreachable_blocks (void); struct edge_list * create_edge_list (void); void free_edge_list (struct edge_list *); void print_edge_list (FILE *, struct edge_list *); |