* ir.texi: Document LOOP_EXPR and EXIT_EXPR.

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

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 6caaf0a..4eccf5e 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,7 @@
 1999-10-05  Mark Mitchell  <mark@codesourcery.com>
 
+       * ir.texi: Document LOOP_EXPR and EXIT_EXPR.
+
        * method.c (synthesize_method): Call setup_vtbl_ptr for destructors.
 
        * decl.c (start_function): Set current_in_charge_parm for

diff --git a/gcc/cp/ir.texi b/gcc/cp/ir.texi
index 6e1623e..bad2aca 100644 (file)
--- a/gcc/cp/ir.texi
+++ b/gcc/cp/ir.texi
@@ -1466,6 +1466,8 @@ The @code{WHILE_BODY} is the body of the loop.
 @tindex CALL_EXPR
 @tindex CONSTRUCTOR
 @tindex STMT_EXPR
+@tindex LOOP_EXPR
+@tindex EXIT_EXPR
 @tindex ARRAY_REF
 
 The internal representation for expressions is for the most part quite
@@ -1817,6 +1819,17 @@ contained in the expression; this is always a @code{COMPOUND_STMT}.  The
 value of the expression is the value of the last sub-statement in the
 @code{COMPOUND_STMT}.
 
+@item LOOP_EXPR
+These nodes represent ``infinite'' loops.  The @code{LOOP_EXPR_BODY}
+represents the body of the loop.  It should be executed forever, unless
+an @code{EXIT_EXPR} is encountered.
+
+@item EXIT_EXPR
+These nodes represent conditional exits from the nearest enclosing
+@code{LOOP_EXPR}.  The single operand is the condition; if it is
+non-zero, then the loop should be exited.  An @code{EXIT_EXPR} will only
+appear within a @code{LOOP_EXPR}.
+
 @item CONSTRUCTOR
 These nodes represent the brace-enclosed initializers for a structure or
 array.  The first operand is reserved for use by the back-end.  The