[Bug debug/44971] [4.6 Regression] -fcompare-debug failure with uninitialized read in walk_gimple_stmt

[rguenth at gcc dot gnu dot org]

------- Comment #7 from rguenth at gcc dot gnu dot org  2010-07-20 11:29 -------
Subject: Bug 44971

Author: rguenth
Date: Tue Jul 20 11:28:56 2010
New Revision: 162329

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=162329
Log:
2010-07-20  Richard Guenther  <rguenther@suse.de>

        PR middle-end/44971
        PR middle-end/44988
        * tree-ssa.c (maybe_optimize_var): New function split out from ...
        (execute_update_addresses_taken): ... here.
        (non_rewritable_mem_ref_base): Likewise.
        (execute_update_addresses_taken): Do not iterate over all referenced
        vars but just all local decls and parms.
        Properly check call and asm arguments and rewrite call arguments.

        * gcc.dg/pr44971.c: New testcase.
        * gcc.c-torture/compile/pr44988.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr44988.c
    trunk/gcc/testsuite/gcc.dg/pr44971.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa.c


-- 


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