diff options
| author | hubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-05-27 12:56:30 +0000 |
|---|---|---|
| committer | hubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-05-27 12:56:30 +0000 |
| commit | 918de27680428c0787343e0e38367a9e6ea89de5 (patch) | |
| tree | 53b2a7fde2f1ab5dc99de3cf0d6cb7541ae5fb7b /gcc/cfgbuild.c | |
| parent | cbb9e6aa60312ced2492aedccb38dc1a587fe570 (diff) | |
| download | gcc-918de27680428c0787343e0e38367a9e6ea89de5.tar.gz | |
* cfgbuild.c (control_flow_insn_p): Notice noreturn call
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@82321 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/cfgbuild.c')
| -rw-r--r-- | gcc/cfgbuild.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/cfgbuild.c b/gcc/cfgbuild.c index 3e9a36cca4d..e184479cd16 100644 --- a/gcc/cfgbuild.c +++ b/gcc/cfgbuild.c @@ -108,6 +108,12 @@ control_flow_insn_p (rtx insn) && GET_CODE (PATTERN (insn)) != ADDR_DIFF_VEC); case CALL_INSN: + /* Noreturn and sibling call instructions terminate the basic blocks + (but only if they happen unconditionally). */ + if ((SIBLING_CALL_P (insn) + || find_reg_note (insn, REG_NORETURN, 0)) + && GET_CODE (PATTERN (insn)) != COND_EXEC) + return true; /* Call insn may return to the nonlocal goto handler. */ return ((nonlocal_goto_handler_labels && (0 == (note = find_reg_note (insn, REG_EH_REGION, |