>>>>> "Tom" == Tom de Vries via Gdb-patches <gdb-patches@sourceware.org> writes: Tom> + upvar $label my_label Tom> + set my_label $_cu_label Maybe this should be conditional on $label != "" Tom