Changes in src/ControlStruct/LabelFixer.cc [954463b8:de62360d]

File:

• src/ControlStruct/LabelFixer.cc (modified) (2 diffs)

src/ControlStruct/LabelFixer.cc

@@ -9 +9 @@
 // Author           : Rodolfo G. Esteves
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Tue Jun 02 15:30:32 2015
-// Update Count     : 93
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Tue Jun 23 12:42:23 2015
+// Update Count     : 96
 //
 
@@ -137 +137 @@
                                 Label undef = from.back()->get_target();
                                 throw SemanticError ( "'" + undef + "' label not defined");
-                        }
+                        } // if
 
-                        // generate a new label, and attach it to its defining statement
-                        // as the only label on that statement
-                        Label finalLabel = generator->newLabel();
+                        // generate a new label, and attach it to its defining statement as the only label on that statement
+                        Label finalLabel = generator->newLabel( to->get_labels().back() );
                         entry->set_label( finalLabel );