Subject: Re: intriguing uninit warnings in usb code
To: None <>
From: Lennart Augustsson <>
List: current-users
Date: 12/12/1998 13:03:01
> Looking at the code, it seems that while the logic is obviously intended to
> initialize 'curaidx' to 0 before it is used, that is not provably the case.
Well, you can in fact prove that curaidx will not be used uninitialized,
but it requires some tricky reasoning about signed and unsigned numbers.
I'm not surprised gcc failed. :-)

I've fixed both problems.  I wonder why gcc on my i386 did not report them?

     -- Lennart