aboutsummaryrefslogtreecommitdiff
path: root/gcc/doc
diff options
context:
space:
mode:
authorAndi Kleen <ak@gcc.gnu.org>2024-07-20 16:09:41 -0700
committerAndi Kleen <ak@gcc.gnu.org>2024-07-20 16:09:41 -0700
commit4a46ba2d905ed40116fb7e7a34809307dc8e37be (patch)
tree46f7d18271ff1907bfb52f79c2630c2bad1167bb /gcc/doc
parent8805ad29924f43d2005784efc8f7d29f10b7f6d9 (diff)
downloadgcc-4a46ba2d905ed40116fb7e7a34809307dc8e37be.zip
gcc-4a46ba2d905ed40116fb7e7a34809307dc8e37be.tar.gz
gcc-4a46ba2d905ed40116fb7e7a34809307dc8e37be.tar.bz2
Revert "Add documentation for musttail attribute"
This reverts commit 56f824cc206ff00d466aaeb11211d8005c4668bc.
Diffstat (limited to 'gcc/doc')
-rw-r--r--gcc/doc/extend.texi25
1 files changed, 2 insertions, 23 deletions
diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi
index b027392..4b77599 100644
--- a/gcc/doc/extend.texi
+++ b/gcc/doc/extend.texi
@@ -9921,7 +9921,7 @@ same manner as the @code{deprecated} attribute.
@section Statement Attributes
@cindex Statement Attributes
-GCC allows attributes to be set on statements. @xref{Attribute Syntax},
+GCC allows attributes to be set on null statements. @xref{Attribute Syntax},
for details of the exact syntax for using attributes. Other attributes are
available for functions (@pxref{Function Attributes}), variables
(@pxref{Variable Attributes}), labels (@pxref{Label Attributes}), enumerators
@@ -9978,25 +9978,6 @@ foo (int x, int y)
@code{y} is not actually incremented and the compiler can but does not
have to optimize it to just @code{return 42 + 42;}.
-@cindex @code{musttail} statement attribute
-@item musttail
-
-The @code{gnu::musttail} or @code{clang::musttail} attribute
-can be applied to a @code{return} statement with a return-value expression
-that is a function call. It asserts that the call must be a tail call that
-does not allocate extra stack space, so it is safe to use tail recursion
-to implement long running loops.
-
-@smallexample
-[[gnu::musttail]] return foo();
-@end smallexample
-
-If the compiler cannot generate a @code{musttail} tail call it will report
-an error. On some targets tail calls may never be supported.
-Tail calls cannot reference locals in memory, which may affect
-builds without optimization when passing small structures, or passing
-or returning large structures. Enabling -O1 or -O2 can improve
-the success of tail calls.
@end table
@node Attribute Syntax
@@ -10120,9 +10101,7 @@ the constant expression, if present.
@subsubheading Statement Attributes
In GNU C, an attribute specifier list may appear as part of a null
-statement. The attribute goes before the semicolon.
-Some attributes in new style syntax are also supported
-on non-null statements.
+statement. The attribute goes before the semicolon.
@subsubheading Type Attributes