[Bug middle-end/44813] [4.6 Regression] ipa-split causes ice in ptr_deref_may_alias_decl_p, at tree-ssa-alias.c:173

[hubicka at gcc dot gnu dot org]

------- Comment #4 from hubicka at gcc dot gnu dot org  2010-07-07 01:01 -------
Subject: Bug 44813

Author: hubicka
Date: Wed Jul  7 01:00:42 2010
New Revision: 161898

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=161898
Log:
        PR middle-end/44813
        * tree-ssa-uninit.c (ssa_undefined_value_p): Result decl is defined
        for functions passed by reference.
        * tree.c (needs_to_live_in_memory): RESULT_DECL don't need to live
        in memory when passed by reference.
        * tree-ssa-ccp.c (get_default_value): Only VAR_DECL is undefined at
        beggining.
        * ipa-split.c (split_function): Cleanup way return value is passed;
        handle SSA DECL_BY_REFERENCE retvals.
        * tree-ssa.c (verify_def): Verify that RESULT_DECL is read only when
        DECL_BY_REFERENCE is set.
        * tree-ssa-structalias.c (get_constraint_for_ssa_var,
get_fi_for_callee,
        find_what_p_points_to): Handle RESULT_DECL.
        * tree-inline.c (declare_return_variable): Get new entry_block
argument;
        when passing by reference ensure that RESULT_DECL is gimple_val.
        (remap_gimple_op_r): Remap RESULT_DECL ssa name.
        (remap_gimple_stmt): Handle SSA DECL_BY_REFERENCE returns.
        * g++.dg/torture/pr44813.C: New testcase.
        * g++.dg/torture/pr44826.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/torture/pr44813.C
    trunk/gcc/testsuite/g++.dg/torture/pr44826.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-split.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-inline.c
    trunk/gcc/tree-ssa-ccp.c
    trunk/gcc/tree-ssa-structalias.c
    trunk/gcc/tree-ssa-uninit.c
    trunk/gcc/tree-ssa.c
    trunk/gcc/tree.c


-- 


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