dccp ccid-3: remove dead states
authorGerrit Renker <gerrit@erg.abdn.ac.uk>
Sun, 19 Sep 2010 18:08:24 +0000 (20:08 +0200)
committerGerrit Renker <gerrit@erg.abdn.ac.uk>
Tue, 21 Sep 2010 10:14:26 +0000 (12:14 +0200)
commit80763dfbac4ed1e6dfe6ec08ef748e0e9aec3260
treefc86c8b1b6806234115e4dbe792070045056c135
parenta18213d1d2a469956845b437f5d1d0401ab22e8b
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>
net/dccp/ccids/ccid3.c
net/dccp/ccids/ccid3.h