Index: src/ControlStruct/LabelGenerator.cc
===================================================================
--- src/ControlStruct/LabelGenerator.cc	(revision 23b6f4d7b77939970c646de6c3e77324af89e70c)
+++ src/ControlStruct/LabelGenerator.cc	(revision 888cbe433d3c2fa38fa20f2b18976e3d44b8a51f)
@@ -19,4 +19,5 @@
 #include "LabelGenerator.h"
 #include "SynTree/Label.h"
+#include "SynTree/Attribute.h"
 
 namespace ControlStruct {
@@ -34,5 +35,7 @@
 		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