summaryrefslogtreecommitdiff
path: root/gcc/doc/c-tree.texi
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/doc/c-tree.texi')
-rw-r--r--gcc/doc/c-tree.texi13
1 files changed, 8 insertions, 5 deletions
diff --git a/gcc/doc/c-tree.texi b/gcc/doc/c-tree.texi
index b27c082979c..dd21ae6285b 100644
--- a/gcc/doc/c-tree.texi
+++ b/gcc/doc/c-tree.texi
@@ -1278,6 +1278,7 @@ This predicate holds if the function an overloaded
@findex FOR_BODY
@tindex GOTO_STMT
@findex GOTO_DESTINATION
+@findex GOTO_FAKE_P
@tindex HANDLER
@tindex IF_STMT
@findex IF_COND
@@ -1511,11 +1512,13 @@ expressions.
@item GOTO_STMT
-Used to represent a @code{goto} statement. The @code{GOTO_DESTINATION}
-will usually be a @code{LABEL_DECL}. However, if the ``computed
-goto'' extension has been used, the @code{GOTO_DESTINATION} will be an
-arbitrary expression indicating the destination. This expression will
-always have pointer type.
+Used to represent a @code{goto} statement. The @code{GOTO_DESTINATION} will
+usually be a @code{LABEL_DECL}. However, if the ``computed goto'' extension
+has been used, the @code{GOTO_DESTINATION} will be an arbitrary expression
+indicating the destination. This expression will always have pointer type.
+Additionally the @code{GOTO_FAKE_P} flag is set whenever the goto statement
+does not come from source code, but it is generated implicitly by the compiler.
+This is used for branch prediction.
@item HANDLER