diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-08-07 18:39:49 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-08-07 18:39:49 +0200 |
| commit | e7298576479eadf0a40c1c244d67e98b3238262f (patch) | |
| tree | baf724ea0af732012d61d10e207812694ebfea9d /passes/opt/opt_clean.cc | |
| parent | 3f5d7df603dd80d7f877e8050fc4b572318ae62e (diff) | |
Improved handling of private names in opt_clean and rename commands
Diffstat (limited to 'passes/opt/opt_clean.cc')
| -rw-r--r-- | passes/opt/opt_clean.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/passes/opt/opt_clean.cc b/passes/opt/opt_clean.cc index 983e5d5f..c6ca8c25 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; } |