From e7298576479eadf0a40c1c244d67e98b3238262f Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 7 Aug 2013 18:39:49 +0200
Subject: Improved handling of private names in opt_clean and rename commands

---
 passes/opt/opt_clean.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'passes/opt')

diff --git a/passes/opt/opt_clean.cc b/passes/opt/opt_clean.cc
index 983e5d5fa..c6ca8c25a 100644
--- a/passes/opt/opt_clean.cc
+++ b/passes/opt/opt_clean.cc
@@ -122,10 +122,10 @@ static bool check_public_name(RTLIL::IdString id)
 {
 	if (id[0] == '$')
 		return false;
-#if 0
+	if (id.substr(0, 2) == "\\_" && (id[id.size()-1] == '_' || id.find("_[") != std::string::npos))
+		return false;
 	if (id.find(".$") != std::string::npos)
 		return false;
-#endif
 	return true;
 }
 
-- 
cgit v1.2.3