diff options
| -rw-r--r-- | kernel/rtlil.h | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/kernel/rtlil.h b/kernel/rtlil.h index d8ebae71..4d13897b 100644 --- a/kernel/rtlil.h +++ b/kernel/rtlil.h @@ -267,9 +267,15 @@ namespace RTLIL } static inline std::string unescape_id(std::string str) { - if (str.size() > 1 && str[0] == '\\' && str[1] != '$') - return str.substr(1); - return str; + if (str.size() < 2) + return str; + if (str[0] != '\\') + return str; + if (str[1] == '$' || str[1] == '\\') + return str; + if (str[1] >= '0' && str[1] <= '9') + return str; + return str.substr(1); } static inline std::string unescape_id(RTLIL::IdString str) { |