github/verilator
1
0
Fork 1
mirror of https://github.com/verilator/verilator.git synced 2025-05-01 21:16:53 +00:00
Code Issues Packages Projects Releases Wiki Activity

Tests: Fix glib warning

Browse Source
This commit is contained in:
Wilson Snyder 2019-06-30 21:35:55 -04:00
parent 0e8dfdbb71
commit 5cd531a5e0
1 changed files with 17 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
src/V3GraphDfa.cpp
View File

@ -220,19 +220,23 @@ private:
// Expand the nfasWithInput list to include epsilon states // Expand the nfasWithInput list to include epsilon states
// reachable by those on nfasWithInput // reachable by those on nfasWithInput
for (DfaStates::iterator nfaIt=nfasWithInput.begin(); {
nfaIt!=nfasWithInput.end(); ++nfaIt) { DfaStates nfasTodo = nfasWithInput;
DfaVertex* nfaStatep = *nfaIt; nfasWithInput.clear(); // Now the completed list
// Foreach epsilon-reachable (on this nfaStatep) while (!nfasTodo.empty()) {
for (V3GraphEdge* nfaEdgep = nfaStatep->outBeginp(); DfaVertex* nfaStatep = nfasTodo.front(); nfasTodo.pop_front();
nfaEdgep; nfaEdgep=nfaEdgep->outNextp()) { nfasWithInput.push_back(nfaStatep);
DfaEdge* cNfaEdgep = static_cast<DfaEdge*>(nfaEdgep); // Foreach epsilon-reachable (on this nfaStatep)
if (cNfaEdgep->epsilon()) { for (V3GraphEdge* nfaEdgep = nfaStatep->outBeginp();
DfaVertex* nextStatep = static_cast<DfaVertex*>(cNfaEdgep->top()); nfaEdgep; nfaEdgep=nfaEdgep->outNextp()) {
if (unseenNfaThisStep(nextStatep)) { // Not processed? DfaEdge* cNfaEdgep = static_cast<DfaEdge*>(nfaEdgep);
nfasWithInput.push_back(nextStatep); if (cNfaEdgep->epsilon()) {
nextStatep->user(m_step); DfaVertex* nextStatep = static_cast<DfaVertex*>(cNfaEdgep->top());
UINFO(9," Epsilon Reachable "<<nextStatep<<endl); if (unseenNfaThisStep(nextStatep)) { // Not processed?
nfasTodo.push_back(nextStatep);
nextStatep->user(m_step);
UINFO(9," Epsilon Reachable "<<nextStatep<<endl);
}
} }
} }
} }