From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 7 Mar 2014 16:19:14 +0000 (+0100)
Subject: Bugfix in ilang frontend autoidx recovery
X-Git-Tag: yosys-0.3.0~79
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=620d51d9f713d68ebc920b5b1cac59cc176b0b9d;p=yosys.git

Bugfix in ilang frontend autoidx recovery
---

diff --git a/frontends/ilang/lexer.l b/frontends/ilang/lexer.l
index 5da8ce675..000919275 100644
--- a/frontends/ilang/lexer.l
+++ b/frontends/ilang/lexer.l
@@ -131,8 +131,8 @@ void update_autoidx(const char *p)
 				q++;
 			if ((q - p) < 10) {
 				int idx = atoi(p);
-				if (idx > RTLIL::autoidx)
-					RTLIL::autoidx = idx;
+				if (idx >= RTLIL::autoidx)
+					RTLIL::autoidx = idx+1;
 			}
 		}
 	}