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

File:

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

src/ControlStruct/LabelGenerator.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// LabelGenerator.cc -- 
+// LabelGenerator.cc --
 //
 // Author           : Rodolfo G. Esteves
@@ -18 +18 @@
 
 #include "LabelGenerator.h"
+#include "SynTree/Label.h"
+#include "SynTree/Attribute.h"
 
 namespace ControlStruct {
@@ -33 +35 @@
                 os << "__L" << current++ << "__" << suffix;
                 std::string ret = os.str();
-                return Label( ret );
+                Label l( ret );
+                l.get_attributes().push_back( new Attribute("unused") );
+                return l;
         }
 } // namespace ControlStruct