From 459115e4f9193e4a2e9294db60254b7a5714a396 Mon Sep 17 00:00:00 2001 From: Aleksey Demakov Date: Sun, 7 Oct 2007 14:20:34 +0000 Subject: [PATCH] extend comments for jit_insn_jump_table --- jit/jit-insn.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/jit/jit-insn.c b/jit/jit-insn.c index ae2d41a..d0fa3d0 100644 --- a/jit/jit-insn.c +++ b/jit/jit-insn.c @@ -3947,7 +3947,10 @@ add_block: /*@ * @deftypefun int jit_insn_jump_table (jit_function_t func, jit_value_t value, {jit_label_t *} labels, unsigned int num_labels) - * Branch to a label from the @code{labels} table. The @code{value} is the index of the label. + * Branch to a label from the @code{labels} table. The @code{value} is the + * index of the label. It is allowed to have identical labels in the table. + * If an entry in the table has @code{jit_label_undefined} value then it is + * replaced with a newly allocated label. * @end deftypefun @*/ int jit_insn_jump_table -- 2.47.3