luke/verilator
1
0
Fork 0
mirror of https://github.com/verilator/verilator.git synced 2026-10-06 10:03:44 +02:00
Code Issues Packages Projects Releases Wiki Activity

Internals: Add flag to replace VNUser union w/ std::variant for type validation (#8213)

Browse Source
This commit is contained in:
Sumanth Kadiyala
2026-08-26 20:09:21 -04:00
committed by GitHub
parent 7bff0196b1
commit 99c6f9ced8
5 changed files with 91 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/V3Ast.cpp
+24 -4
View File
@@ -71,6 +71,21 @@ void VCMethod::selfTest() {
}
}
//######################################################################
// VNUser
std::string VNUser::dumpStr(std::string (*fmtAddrp)(const void*)) const {
#ifdef VL_USER_TYPE_CHECKS
if (const int* const uip = std::get_if<int>(&m_u)) return "#"s + cvtToStr(*uip);
if (void* const* const upp = std::get_if<void*>(&m_u)) return fmtAddrp(*upp);
return "";
#else
// Dumps void* representation
if (!m_u.up) return "";
return fmtAddrp(m_u.up);
#endif
}
//######################################################################
// VNType
@@ -1384,10 +1399,15 @@ void AstNode::dumpPtrs(std::ostream& os) const {
if (op2p()) os << " op2p=" << cvtToHex(op2p());
if (op3p()) os << " op3p=" << cvtToHex(op3p());
if (op4p()) os << " op4p=" << cvtToHex(op4p());
if (user1p()) os << " user1p=" << cvtToHex(user1p());
if (user2p()) os << " user2p=" << cvtToHex(user2p());
if (user3p()) os << " user3p=" << cvtToHex(user3p());
if (user4p()) os << " user4p=" << cvtToHex(user4p());
const auto dumpUser = [&os](const char* prefix, const VNUser& user) {
const std::string s
= user.dumpStr([](const void* p) -> std::string { return cvtToHex(p); });
if (!s.empty()) os << prefix << s;
};
dumpUser(" user1p=", user1u());
dumpUser(" user2p=", user2u());
dumpUser(" user3p=", user3u());
dumpUser(" user4p=", user4u());
if (m_iterpp) {
os << " iterpp=" << cvtToHex(m_iterpp);
// This may cause address sanitizer failures as iterpp can be stale