diff options
| author | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-31 13:51:38 +0000 |
|---|---|---|
| committer | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-31 13:51:38 +0000 |
| commit | d9d5743f8314772cdcf12e934ba58543c0d85a79 (patch) | |
| tree | dffa484c461c05b7e871c844f87d11d31d6fe5d0 /gcc/tree-cfg.h | |
| parent | 7ddabec6bf78d84e308c5ae00bf02c093e4fad54 (diff) | |
| download | gcc-d9d5743f8314772cdcf12e934ba58543c0d85a79.tar.gz | |
* tree-cfg.c (assert_unreachable_fallthru_edge_p): New function.
* tree-cfg.h (assert_unreachable_fallthru_edge_p): New prototype.
* tree-vrp.c (all_imm_uses_in_stmt_or_feed_cond): New function.
(remove_range_assertions): If ASSERT_EXPR_VAR has no other immediate
uses but in the condition and ASSERT_EXPR and the other successor of
the predecessor bb is __builtin_unreachable (), set_range_info of the
ASSERT_EXPR_VAR to the range info of the ASSERT_EXPR's lhs.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@204255 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-cfg.h')
| -rw-r--r-- | gcc/tree-cfg.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/tree-cfg.h b/gcc/tree-cfg.h index d6a5d8fce0d..c5c105dbdaa 100644 --- a/gcc/tree-cfg.h +++ b/gcc/tree-cfg.h @@ -51,6 +51,7 @@ extern bool is_ctrl_stmt (gimple); extern bool is_ctrl_altering_stmt (gimple); extern bool simple_goto_p (gimple); extern bool stmt_ends_bb_p (gimple); +extern bool assert_unreachable_fallthru_edge_p (edge); extern void delete_tree_cfg_annotations (void); extern gimple first_stmt (basic_block); extern gimple last_stmt (basic_block); |