tree.def (GOTO_EXPR): Modified documentation.

8
	* tree.def (GOTO_EXPR): Modified documentation.
	* expr.c (expand_expr): Expand GOTO_EXPR into a goto or a computed
 	goto.

From-SVN: r22859

diff --git a/gcc/expr.c b/gcc/expr.c
index 445f151615680486baa1402b460fc4690493ae01..adb2d4ad1f9314f8148f890c91f1d8f6153a61ab 100644 (file)
--- a/gcc/expr.c
+++ b/gcc/expr.c
@@ -5919,6 +5919,13 @@ expand_expr (exp, target, tmode, modifier)
       placeholder_list = TREE_CHAIN (placeholder_list);
       return target;
 
+    case GOTO_EXPR:
+      if (TREE_CODE (TREE_OPERAND (exp, 0)) == LABEL_DECL)
+       expand_goto (TREE_OPERAND (exp, 0));
+      else
+       expand_computed_goto (TREE_OPERAND (exp, 0));
+      return const0_rtx;
+
     case EXIT_EXPR:
       expand_exit_loop_if_false (NULL_PTR,
                                 invert_truthvalue (TREE_OPERAND (exp, 0)));

diff --git a/gcc/tree.def b/gcc/tree.def
index 16a07d80c371b1920b7e4adc93e220c99791254a..71d0687043c35fef0e6a5b69e65128b781787e22 100644 (file)
--- a/gcc/tree.def
+++ b/gcc/tree.def
@@ -721,7 +721,7 @@ DEFTREECODE (POPDCC_EXPR, "popdcc_expr", 's', 0)
    The type should be void and the value should be ignored.  */
 DEFTREECODE (LABEL_EXPR, "label_expr", 's', 1)
 
-/* GOTO.  Operand 0 is a LABEL_DECL node.
+/* GOTO.  Operand 0 is a LABEL_DECL node or an expression.
    The type should be void and the value should be ignored.  */
 DEFTREECODE (GOTO_EXPR, "goto_expr", 's', 1)