Do permission accumulation in dfa minimization. This is necessary if accept

states with different permissions are to ever share a partition.
This commit is contained in:
John Johansen 2010-11-09 11:24:51 -08:00
parent a949b075b4
commit 4e80416a4f

View file

@ -1826,10 +1826,13 @@ void DFA::minimize(dfaflags_t flags)
//if ((*p)->size() > 1)
//cerr << rep->label << ": ";
/* clear the state label for all non representative states */
/* clear the state label for all non representative states,
* and accumulate permissions */
for (Partition::iterator i = ++(*p)->begin(); i != (*p)->end(); i++) {
//cerr << " " << (*i)->label;
(*i)->label = -1;
rep->accept |= (*i)->accept;
rep->audit |= (*i)->audit;
}
//if ((*p)->size() > 1)
//cerr << "\n";