* doc/tree-ssa.texi (Jumps): RESULT_DECL can also be an operand

        of a RETURN_EXPR

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@116940 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b0b36ce..3fe8fe5 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2006-09-13  Aldy Hernandez  <aldyh@redhat.com>
+
+        * doc/tree-ssa.texi (Jumps): RESULT_DECL can also be an operand
+        of a RETURN_EXPR
+
 2006-09-13  Andrew Pinski  <pinskia@physics.uc.edu>
 
        PR debug/28980

diff --git a/gcc/doc/tree-ssa.texi b/gcc/doc/tree-ssa.texi
index 016f812..9f6b899 100644 (file)
--- a/gcc/doc/tree-ssa.texi
+++ b/gcc/doc/tree-ssa.texi
@@ -399,10 +399,10 @@ Other jumps are expressed by either @code{GOTO_EXPR} or @code{RETURN_EXPR}.
 The operand of a @code{GOTO_EXPR} must be either a label or a variable
 containing the address to jump to.
 
-The operand of a @code{RETURN_EXPR} is either @code{NULL_TREE} or a
-@code{MODIFY_EXPR} which sets the return value.  It would be nice to
-move the @code{MODIFY_EXPR} into a separate statement, but the special
-return semantics in @code{expand_return} make that difficult.  It may
+The operand of a @code{RETURN_EXPR} is either @code{NULL_TREE},
+@code{RESULT_DECL}, or a @code{MODIFY_EXPR} which sets the return value.  It
+would be nice to move the @code{MODIFY_EXPR} into a separate statement, but the
+special return semantics in @code{expand_return} make that difficult.  It may
 still happen in the future, perhaps by moving most of that logic into
 @code{expand_assignment}.