[cfe-commits] r159620 - in /cfe/trunk: lib/Analysis/UninitializedValues.cpp test/Sema/uninit-variables.c

Joerg Sonnenberger joerg at britannica.bec.de
Tue Jul 3 01:14:20 PDT 2012

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.


More information about the cfe-commits mailing list