Subject: Re: intriguing uninit warnings in usb code
To: Lennart Augustsson <email@example.com>
From: Todd Whitesel <firstname.lastname@example.org>
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 220.127.116.11+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?
toddpw @ best.com