Fix --public-flat-rw / DPI issue (#2858)

This commit is contained in:
Todd Strader
2021-03-26 18:24:31 -04:00
committed by GitHub
parent 4e41c13501
commit 87728a9ee3
3 changed files with 7 additions and 1 deletions
+2 -1
View File
@@ -330,7 +330,8 @@ class EmitCSyms final : EmitCBaseVisitor {
virtual void visit(AstVar* nodep) override {
nameCheck(nodep);
iterateChildren(nodep);
if (nodep->isSigUserRdPublic()) m_modVars.emplace_back(std::make_pair(m_modp, nodep));
if (nodep->isSigUserRdPublic() && !m_cfuncp)
m_modVars.emplace_back(std::make_pair(m_modp, nodep));
}
virtual void visit(AstCoverDecl* nodep) override {
// Assign numbers to all bins, so we know how big of an array to use