tree 5d019244cf993839af05ea08cd0713ec1d1b390a
parent 278429cff8809958d25415ba0ed32b59866ab1a8
author Wim Van Sebroeck <wim@iguana.be> 1224060786 +0000
committer Wim Van Sebroeck <wim@iguana.be> 1224060786 +0000

[WATCHDOG] ib700wdt.c - fix buffer_underflow bug

This fixes Bug 11399:
if ibwdt_set_heartbeat(int t) is called with value 30 then
the check "if ((t < 0) || (t > 30))" in ibwdt_set_heartbeat
is not going to fail because t == 30, but in the loop, the
check wd_times[i] > t is never going to be true because
none of the wd_times are greater than the value of t (i.e. 30).
So we are exiting the loop with i == -1 and therefore setting
wd_margin to -1 which is wrong.

Reported-by: Zvonimir Rakamaric <zrakamar@cs.ubc.ca>
Signed-off-by: Wim Van Sebroeck <wim@iguana.be>