[Bug middle-end/179] -Wuninitialized missing warning with &var

[manu at gcc dot gnu dot org]

------- Comment #13 from manu at gcc dot gnu dot org  2008-08-20 22:25 -------
Subject: Bug 179

Author: manu
Date: Wed Aug 20 22:23:45 2008
New Revision: 139347

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=139347
Log:
2008-08-21  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

        PR middle-end/179
        * tree-ssa.c (warn_uninit): Do not warn for variables that can be
        initialized outside the current module.
        (warn_uninitialized_var): Ignore left-hand side when walking the
        trees. Ignore address expressions. Examine VUSE operands in gimple
        statements with a variable declaration on the right-hand side.
testsuite/
        * gcc.dg/uninit-6.c (make_something): Remove XFAIL.
        * gcc.dg/uninit-6-O0.c (make_something): Remove XFAIL.
        * gcc.dg/uninit-B.c (baz): Remove XFAIL.
        * gcc.dg/uninit-B-2.c: New.
        * gcc.dg/uninit-B-O0-2.c: New.
        * gcc.dg/uninit-pr19430-O0.c: New.
        * gcc.dg/uninit-pr19430.c: New.
        * gcc.dg/uninit-pr19430-2.c: New.

Added:
    trunk/gcc/testsuite/gcc.dg/uninit-B-2.c
    trunk/gcc/testsuite/gcc.dg/uninit-B-O0-2.c
    trunk/gcc/testsuite/gcc.dg/uninit-pr19430-2.c
    trunk/gcc/testsuite/gcc.dg/uninit-pr19430-O0.c
    trunk/gcc/testsuite/gcc.dg/uninit-pr19430.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/uninit-6-O0.c
    trunk/gcc/testsuite/gcc.dg/uninit-6.c
    trunk/gcc/testsuite/gcc.dg/uninit-B.c
    trunk/gcc/tree-ssa.c


-- 


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