void IpGotoCodeGen::BREAK( ostream &ret, int targState )
{
outLabelUsed = true;
- ret << "{" << CS() << " = " << targState << "; " << CTRL_FLOW() << "goto _out;}";
+ ret << "{" << P() << "++; " << CS() << " = " << targState <<
+ "; " << CTRL_FLOW() << "goto _out;}";
}
bool IpGotoCodeGen::IN_TRANS_ACTIONS( RedStateAp *state )