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

[Joerg Sonnenberger]

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