A "#" does start a comment, not a label.

diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index 3076158bd9e5397cc87c443e2ea000bfeebafec2..7494b7e3c74e33b870b14f2a89113b82edf0025b 100644 (file)
--- a/kernel/yosys.cc
+++ b/kernel/yosys.cc
@@ -698,6 +698,9 @@ static void handle_label(std::string &command, bool &from_to_active, const std::
        while (pos < GetSize(command) && (command[pos] == ' ' || command[pos] == '\t'))
                pos++;
 
+       if (pos < GetSize(command) && command[pos] == '#')
+               return;
+
        while (pos < GetSize(command) && command[pos] != ' ' && command[pos] != '\t' && command[pos] != '\r' && command[pos] != '\n')
                label += command[pos++];