Subject: Re: intriguing uninit warnings in usb code
To: Lennart Augustsson <augustss@cs.chalmers.se>
From: Todd Whitesel <toddpw@best.com>
List: current-users
Date: 12/12/1998 04:21:02
> > 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?

arm32 was still using 2.7.2.2+myc1 since I had not gotten the egcs build to
succeed yet. Could it be a myc1 vs. myc2 thing, or is your i386 egcs-ified?

Todd Whitesel
toddpw @ best.com