[Bug tree-optimization/18501] [4.3/4.4/4.5/4.6 Regression] Missing 'used uninitialized' warning (CCP)

[manu at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18501

--- Comment #51 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2011-02-06 20:48:38 UTC ---
BTW, anyone interested in fixing this may want to take a look at the newest
proposal for improving Wuninitialized in Clang:

http://lists.cs.uiuc.edu/pipermail/cfe-dev/2011-February/013170.html

They specifically mention the issues of GCC's implementation and how they plan
to address them. Nevertheless, there are several problems for implementing
Clang's approach in GCC. First, they prefer to have false positives (a false
warning) than false negatives (a missed correct warning), whereas GCC tries as
hard as possible to not warn when it shouldn't.  Second, their proposal makes
use of the static analysis checker build into clang, which GCC does not have
(and probably never will) in its front-ends.