Add __PVT__ prefix to selects nodes (#4001)

This commit is contained in:
Ryszard Rozak
2023-03-06 13:18:48 +01:00
committed by GitHub
parent 725ec088ea
commit cc45f64280
3 changed files with 50 additions and 2 deletions
+8 -2
View File
@@ -103,13 +103,19 @@ private:
}
void visit(AstMemberDType* nodep) override {
if (!nodep->user1()) {
rename(nodep, false);
rename(nodep, true);
iterateChildren(nodep);
}
}
void visit(AstMemberSel* nodep) override {
if (!nodep->user1()) {
rename(nodep, false);
rename(nodep, true);
iterateChildren(nodep);
}
}
void visit(AstStructSel* nodep) override {
if (!nodep->user1()) {
rename(nodep, true);
iterateChildren(nodep);
}
}