Changes in / [4737d8e:9e1fa35]

File:

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

src/ControlStruct/LabelFixer.cc

@@ -75 +75 @@
 
 
-        // Sets the definition of the labelTable entry to be the provided statement for every label in
-        // the list parameter. Happens for every kind of statement.
+        // sets the definition of the labelTable entry to be the provided statement for every label in the list
+        // parameter. Happens for every kind of statement
         Label LabelFixer::setLabelsDef( std::list< Label > & llabel, Statement * definition ) {
                 assert( definition != 0 );
                 assert( llabel.size() > 0 );
+
+                Entry * e = new Entry( definition );
 
                 for ( std::list< Label >::iterator i = llabel.begin(); i != llabel.end(); i++ ) {
@@ -85 +87 @@
                         l.set_statement( definition ); // attach statement to the label to be used later
                         if ( labelTable.find( l ) == labelTable.end() ) {
-                                // All labels on this statement need to use the same entry,
-                                // so this should only be created once.
+                                // all labels on this statement need to use the same entry, so this should only be created once
                                 // undefined and unused until now, add an entry
-                                labelTable[ l ] = new Entry( definition );
+                                labelTable[ l ] =  e;
                         } else if ( labelTable[ l ]->defined() ) {
                                 // defined twice, error
-                                SemanticError( l.get_statement()->location,
-                                        "Duplicate definition of label: " + l.get_name() );
-                        } else {
+                                SemanticError( l.get_statement()->location, "Duplicate definition of label: " + l.get_name() );
+                        }       else {
                                 // used previously, but undefined until now -> link with this entry
-                                // Question: Is changing objects important?
                                 delete labelTable[ l ];
-                                labelTable[ l ] = new Entry( definition );
+                                labelTable[ l ] = e;
                         } // if
                 } // for
 
-                // Produce one of the labels attached to this statement to be temporarily used as the
-                // canonical label.
+                // produce one of the labels attached to this statement to be temporarily used as the canonical label
                 return labelTable[ llabel.front() ]->get_label();
         }