From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 18 Oct 2014 17:26:03 +0000 (+0200)
Subject: Improved new_id() for win32
X-Git-Tag: yosys-0.4~26
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6c1c1e9a07c66b37f65835ed03370ac062616b7a;p=yosys.git

Improved new_id() for win32
---

diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index e26eaf4be..42cfcb5bb 100644
--- a/kernel/yosys.cc
+++ b/kernel/yosys.cc
@@ -358,11 +358,19 @@ void yosys_shutdown()
 
 RTLIL::IdString new_id(std::string file, int line, std::string func)
 {
-	std::string str = "$auto$";
+#ifdef _WIN32
+	size_t pos = file.find_last_of("/\\");
+#else
 	size_t pos = file.find_last_of('/');
-	str += pos != std::string::npos ? file.substr(pos+1) : file;
-	str += stringf(":%d:%s$%d", line, func.c_str(), autoidx++);
-	return str;
+#endif
+	if (pos != std::string::npos)
+		file = file.substr(pos+1);
+
+	pos = func.find_last_of(':');
+	if (pos != std::string::npos)
+		func = func.substr(pos+1);
+
+	return stringf("$auto$%s:%d:%s$%d", file.c_str(), line, func.c_str(), autoidx++);
 }
 
 RTLIL::Design *yosys_get_design()