Changes in src/ControlStruct/LabelFixer.cc [1869adf:0a0a65b]

File:

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

src/ControlStruct/LabelFixer.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Wed Jun 24 16:24:34 2015
-// Update Count     : 141
+// Last Modified On : Wed Jul 08 12:36:46 2015
+// Update Count     : 145
 //
 
@@ -61 +61 @@
 
         void LabelFixer::visit( FunctionDecl *functionDecl ) {
+                // need to go into a nested function in a fresh state
+                std::map < Label, Entry *> oldLabelTable = labelTable;
+                labelTable.clear();
+
                 maybeAccept( functionDecl->get_statements(), *this );
 
                 MLEMutator mlemut( resolveJumps(), generator );
                 functionDecl->acceptMutator( mlemut );
+
+                // and remember the outer function's labels when
+                // returning to it
+                labelTable = oldLabelTable;
         }