github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-04-27 12:40:28 +00:00
Code Issues Releases Wiki Activity

functional backends: identifiers in c++/smtlib may not start with digits

Browse Source
This commit is contained in:
Emily Schmidt
2024-08-27 13:10:34 +01:00
parent 459e6b913a
commit b428bf4600
3 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
backends/functional/cxx.cc
View File

@@ -48,8 +48,8 @@ template<typename Id> struct CxxScope : public Functional::Scope<Id> {
for(const char **p = reserved_keywords; *p != nullptr; p++)
this->reserve(*p);
}
bool is_character_legal(char c) override {
return isascii(c) && (isalnum(c) || c == '_' || c == '$');
bool is_character_legal(char c, int index) override {
return isascii(c) && (isalpha(c) || (isdigit(c) && index > 0) || c == '_' || c == '$');
}
};

4
backends/functional/smtlib.cc
View File

@@ -48,8 +48,8 @@ struct SmtScope : public Functional::Scope<int> {
for(const char **p = reserved_keywords; *p != nullptr; p++)
reserve(*p);
}
bool is_character_legal(char c) override {
return isascii(c) && (isalnum(c) || strchr("~!@$%^&*_-+=<>.?/", c));
bool is_character_legal(char c, int index) override {
return isascii(c) && (isalpha(c) || (isdigit(c) && index > 0) || strchr("~!@$%^&*_-+=<>.?/", c));
}
};