On Mon, Jul 02, 2012 at 11:23:05PM -0000, Richard Smith wrote:
> Log:
> -Wuninitialized: assume that an __attribute__((returns_twice)) function might
> initialize any variable. This is extremely conservative, but is sufficient for
> now.

Can this be reduced to following both code paths if the function call is
part of a conditional? When I analysed the newly triggered warnings for
-Wuninitialized in NetBSD, setjmp usage was something like 50%
questionable w.r.t. conditional initialisation, so getting this more
strict or optional is definitely a good idea.

Joerg
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to