Changes in src/ControlStruct/LabelGenerator.cc [888cbe4:af68f0a]

File:

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

src/ControlStruct/LabelGenerator.cc

@@ -20 +20 @@
 #include "SynTree/Label.h"
 #include "SynTree/Attribute.h"
+#include "SynTree/Statement.h"
 
 namespace ControlStruct {
@@ -31 +32 @@
         }
 
-        Label LabelGenerator::newLabel( std::string suffix ) {
+        Label LabelGenerator::newLabel( std::string suffix, Statement * stmt ) {
                 std::ostringstream os;
                 os << "__L" << current++ << "__" << suffix;
+                if ( stmt && ! stmt->get_labels().empty() ) {
+                        os << "_" << stmt->get_labels().front() << "__";
+                }
                 std::string ret = os.str();
                 Label l( ret );