generate a check for EOF if there are from-state actions

From-state actions now execute on EOF, but we don't check for their presence
when deciding if we should test against EOF. This led to from-state actions
executing only if other conditions necessitating EOF-testing are present. Added
the check.

refs adrian-thurston/ragel#80

Author: adrian-thurston

src/libfsm/asm.cc

@@ -1160,7 +1160,7 @@ void AsmCodeGen::NFA_PUSH( RedStateAp *st )
 
 void AsmCodeGen::STATE_GOTOS()
 {
-	bool eof = redFsm->anyEofActivity() || redFsm->anyNfaStates();
+	bool eof = redFsm->anyEofActivity() || redFsm->anyNfaStates() || redFsm->anyFromStateActions();
 
 	for ( RedStateList::Iter st = redFsm->stateList; st.lte(); st++ ) {
 		/* Writing code above state gotos. */

src/libfsm/goto.cc

@@ -368,7 +368,7 @@ void Goto::FROM_STATE_ACTION_EMIT( RedStateAp *state )
 
 std::ostream &Goto::STATE_CASES()
 {
-	bool eof = redFsm->anyEofActivity() || redFsm->anyNfaStates();
+	bool eof = redFsm->anyEofActivity() || redFsm->anyNfaStates() || redFsm->anyFromStateActions();
 
 	for ( RedStateList::Iter st = redFsm->stateList; st.lte(); st++ ) {
 		/* Writing code above state gotos. */
@@ -881,7 +881,7 @@ void Goto::writeExec()
 	out << EMIT_LABEL( _resume );
 
 	/* Do we break out on no more input. */
-	bool eof = redFsm->anyEofActivity() || redFsm->anyNfaStates();
+	bool eof = redFsm->anyEofActivity() || redFsm->anyNfaStates() || redFsm->anyFromStateActions();
 	if ( !noEnd ) {
 		if ( eof ) {
 			out << 

src/libfsm/ipgoto.cc

@@ -452,7 +452,7 @@ void IpGoto::NFA_PUSH_ST( RedStateAp *state )
 
 std::ostream &IpGoto::STATE_GOTOS()
 {
-	bool eof = redFsm->anyEofActivity() || redFsm->anyNfaStates();
+	bool eof = redFsm->anyEofActivity() || redFsm->anyNfaStates() || redFsm->anyFromStateActions();
 
 	for ( RedStateList::Iter st = redFsm->stateList; st.lte(); st++ ) {
 		IN_TRANS_ACTIONS( st );

src/libfsm/tabbreak.cc

@@ -215,7 +215,7 @@ void TabBreak::writeExec()
 	out << BREAK_LABEL( _resume );
 
 	/* Do we break out on no more input. */
-	bool eof = redFsm->anyEofActivity() || redFsm->anyNfaStates();
+	bool eof = redFsm->anyEofActivity() || redFsm->anyNfaStates() || redFsm->anyFromStateActions();
 	if ( !noEnd ) {
 		if ( eof ) {
 			out << 

src/libfsm/tabgoto.cc

@@ -185,7 +185,7 @@ void TabGoto::writeExec()
 	out << EMIT_LABEL( _resume );
 
 	/* Do we break out on no more input. */
-	bool eof = redFsm->anyEofActivity() || redFsm->anyNfaStates();
+	bool eof = redFsm->anyEofActivity() || redFsm->anyNfaStates() || redFsm->anyFromStateActions();
 	if ( !noEnd ) {
 		if ( eof ) {
 			out << 

src/libfsm/tabvar.cc

@@ -161,7 +161,7 @@ void TabVar::writeExec()
 	out << BREAK_LABEL( _resume );
 
 	/* Do we break out on no more input. */
-	bool eof = redFsm->anyEofActivity() || redFsm->anyNfaStates();
+	bool eof = redFsm->anyEofActivity() || redFsm->anyNfaStates() || redFsm->anyFromStateActions();
 	if ( !noEnd ) {
 		if ( eof ) {
 			out <<