diff options
author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-11-02 12:10:36 +0000 |
---|---|---|
committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-11-02 12:10:36 +0000 |
commit | 103dfb1064d6066be8e5dab587a7d6c8fdf6545a (patch) | |
tree | a0393256909d5ee902af286748f2b0fbdf7d191d /gcc/cfg-flags.def | |
parent | 71aa0c9f22901eca069eaee147fe426c132d97ca (diff) | |
download | gcc-103dfb1064d6066be8e5dab587a7d6c8fdf6545a.tar.gz |
* cfg-flags.def (ABNORMAL_CALL): Fix comment.
(EH): Likewise.
(SIBCALL): Likewise.
* cfgrtl.c (rtl_verify_flow_info_1): Adjust error messages.
Deal with EDGE_SIBCALL and fix the EDGE_ABNORMAL check.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193094 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/cfg-flags.def')
-rw-r--r-- | gcc/cfg-flags.def | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/cfg-flags.def b/gcc/cfg-flags.def index 839b9b358cf..e9e2dd604e6 100644 --- a/gcc/cfg-flags.def +++ b/gcc/cfg-flags.def @@ -115,13 +115,14 @@ DEF_EDGE_FLAG(FALLTHRU, 0) DEF_EDGE_FLAG(ABNORMAL, 1) /* Edge out of a basic block that ends with a CALL_INSN with abnormal - exit, like an exception, or a sibcall. + exit, like an exception or a non-local goto. + ABNORMAL_CALL edges also have ABNORMAL set. This flag is only used for the RTL CFG. */ DEF_EDGE_FLAG(ABNORMAL_CALL, 2) /* Exception edge. Exception handling edges represent possible control - transfers from a trapping instruction to an exception handler. EH - edges also have EDGE_ABNORMAL set. */ + transfers from a trapping instruction to an exception handler. + EH edges also have ABNORMAL set for the RTL CFG. */ DEF_EDGE_FLAG(EH, 3) /* Never merge blocks via this edge. This is used for exception handling, @@ -158,6 +159,7 @@ DEF_EDGE_FLAG(EXECUTABLE, 10) DEF_EDGE_FLAG(CROSSING, 11) /* Edge from a sibcall CALL_INSN to exit. + SIBCALL edges also have ABNORMAL set. This flag is only used for the RTL CFG. */ DEF_EDGE_FLAG(SIBCALL, 12) |