tree fc86c8b1b6806234115e4dbe792070045056c135
parent a18213d1d2a469956845b437f5d1d0401ab22e8b
author Gerrit Renker <gerrit@erg.abdn.ac.uk> 1284919704 +0200
committer Gerrit Renker <gerrit@erg.abdn.ac.uk> 1285064066 +0200

dccp ccid-3: remove dead states

This patch is thanks to an investigation by Leandro Sales de Melo and his
colleagues. They worked out two state diagrams which highlight the fact that
the xxx_TERM states in CCID-3/4 are in fact not necessary.

And this can be confirmed by in turn looking at the code: the xxx_TERM states
are only ever set in ccid3_hc_{rx,tx}_exit(): when CCID-3 sets the state
to xxx_TERM, it is at a time where no more processing should be going on,
hence it is not necessary to introduce a dedicated exit state - this is already
implied by unloading the CCID.

Signed-off-by: Gerrit Renker <gerrit@erg.abdn.ac.uk>