dead code in wparser_def state machine?

I find a number of places coded like this:

static TParserStateActionItem actionTPS_InHyphenLatWordFirst[] = {{p_isEOF, 0, A_POP, TPS_Null, 0, NULL},{p_islatin, 0,
A_NEXT,TPS_InHyphenLatWord, 0, NULL},{p_isnonlatin, 0, A_NEXT, TPS_InHyphenUWord, 0, NULL},{p_isdigit, 0, A_NEXT,
TPS_InHyphenValue,0, NULL},{p_isdigit, 0, A_NEXT, TPS_InHyphenUWord, 0, NULL},{NULL, 0, A_POP, TPS_Null, 0, NULL}
 
};

If I'm not completely misunderstanding this code, the second p_isdigit
line is dead code because it can never be reached.  Correct?
        regards, tom lane