From cfdc9fc50ed3280fb1e048bbf6125f009ab44403 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 16 Apr 2015 18:13:41 +0200 Subject: [PATCH] A "#" does start a comment, not a label. --- kernel/yosys.cc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/kernel/yosys.cc b/kernel/yosys.cc index 3076158bd..7494b7e3c 100644 --- 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++]; -- 2.30.2