diff options
Diffstat (limited to 'kernel/rtlil.h')
| -rw-r--r-- | kernel/rtlil.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/kernel/rtlil.h b/kernel/rtlil.h index 15fec2690..b5338a33c 100644 --- a/kernel/rtlil.h +++ b/kernel/rtlil.h @@ -110,6 +110,13 @@ namespace RTLIL return str; } + static const char *id2cstr(std::string str) __attribute__((unused)); + static const char *id2cstr(std::string str) { + if (str.size() > 1 && str[0] == '\\' && str[1] != '$') + return str.c_str() + 1; + return str.c_str(); + } + static IdString new_id(std::string file, int line, std::string func) __attribute__((unused)); static IdString new_id(std::string file, int line, std::string func) { std::string str = "$auto$"; |