From 86f75c18a65310b3b7e43cb1a8a05136b89a558b Mon Sep 17 00:00:00 2001 From: phk Date: Sat, 31 May 2003 18:54:02 +0000 Subject: Fix off-by-one errors in range checks of state machine states & events. Found by: FlexeLint --- sys/i4b/layer2/i4b_l2fsm.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'sys/i4b/layer2/i4b_l2fsm.c') diff --git a/sys/i4b/layer2/i4b_l2fsm.c b/sys/i4b/layer2/i4b_l2fsm.c index c4df653..02c9920 100644 --- a/sys/i4b/layer2/i4b_l2fsm.c +++ b/sys/i4b/layer2/i4b_l2fsm.c @@ -230,12 +230,12 @@ void i4b_next_l2state(l2_softc_t *l2sc, int event) panic("i4b_l2fsm.c: event >= N_EVENTS\n"); /* get current state and check it */ - if((currstate = l2sc->Q921_state) > N_STATES) /* failsafe */ - panic("i4b_l2fsm.c: currstate > N_STATES\n"); + if((currstate = l2sc->Q921_state) >= N_STATES) /* failsafe */ + panic("i4b_l2fsm.c: currstate >= N_STATES\n"); /* get new state and check it */ - if((newstate = l2state_tab[event][currstate].newstate) > N_STATES) - panic("i4b_l2fsm.c: newstate > N_STATES\n"); + if((newstate = l2state_tab[event][currstate].newstate) >= N_STATES) + panic("i4b_l2fsm.c: newstate >= N_STATES\n"); if(newstate != ST_SUBSET) -- cgit v1.1