An alias bug
C. van Reeuwijk
C.vanReeuwijk@twi.tudelft.nl
Tue Jul 14 06:35:00 GMT 1998
> > For what it's worth, the latest snapshot I have (7/7/1998) gives bogus
> > 'might be used uninitialized' messages. I'm sure they are bogus because
> > they complain about variables that are initialized in their declaration
> > statement. E.g.
> The code which determines whether or not a variable is initialized or
> not is very simple and gets confused by complex code.
>
> While the initialization may be obvious in the source, certain optimizations,
> particularly gcse, may move the initialization to a different location
> within the function, which may make it appear as if the variable is
> uninitialized to the simplistic code to find uninitialized variables.
Fair enough, but (a) I didn't get these complaints in the previous
shapshot we used (egcs-2.91.28), and (b) as a humble user I'm not happy
with these false positives, since I like my code to be warning-free, and
this forces me to abandon this warning or rewrite my code to accomodate
the analyzer.
I'm sorry I cannot offer any more constructive help here.
Sincerely,
--
Kees van Reeuwijk, Delft University of Technology
http://pds.twi.tudelft.nl/~reeuwijk
More information about the Gcc-bugs
mailing list