[Bug tree-optimization/44915] New: [4.6 Regression] ICE: SIGSEGV in walk_aliased_vdefs_1.constprop.42 (tree-ssa-alias.c:1707) with -findirect-inlining

[Bug tree-optimization/44915] New: [4.6 Regression] ICE: SIGSEGV in walk_aliased_vdefs_1.constprop.42 (tree-ssa-alias.c:1707) with -findirect-inlining

[zsojka at seznam dot cz]

Command line:
$ g++ -findirect-inlining testcase.C

Valgrind output:
$ valgrind -q --trace-children=yes
/mnt/svn/gcc-trunk/binary-162056-lto-fortran-checking-yes-rtl-df/bin/g++
-findirect-inlining testcase.C
==4614== Invalid read of size 2
==4614==    at 0xA692A8: walk_aliased_vdefs_1.constprop.42
(tree-ssa-alias.c:1707)
==4614==    by 0xA6996D: walk_aliased_vdefs (tree-ssa-alias.c:1748)
==4614==    by 0xBF454A: is_parm_modified_before_call (ipa-prop.c:658)
==4614==    by 0xBF687B: ipa_compute_jump_functions_for_edge (ipa-prop.c:696)
==4614==    by 0xBF7ABC: ipa_analyze_node (ipa-prop.c:901)
==4614==    by 0xBF40C7: analyze_function (ipa-inline.c:2072)
==4614==    by 0xBF4181: inline_generate_summary (ipa-inline.c:2120)
==4614==    by 0x8F16D5: execute_ipa_summary_passes (passes.c:1426)
==4614==    by 0xBE9B90: cgraph_optimize (cgraphunit.c:1869)
==4614==    by 0xBE9E0A: cgraph_finalize_compilation_unit (cgraphunit.c:1171)
==4614==    by 0x588C0C: cp_write_global_declarations (decl2.c:3924)
==4614==    by 0x9DDA45: toplev_main (toplev.c:997)
==4614==  Address 0x0 is not stack'd, malloc'd or (recently) free'd
==4614== 
testcase.C: In function 'void call_dummy(f_ptr)':
testcase.C:10:1: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r162056 - crash
r161659 - crash
r161170 - OK
r159696 - OK
4.5 r160526 - OK


-- 
           Summary: [4.6 Regression] ICE: SIGSEGV in
                    walk_aliased_vdefs_1.constprop.42 (tree-ssa-
                    alias.c:1707) with -findirect-inlining
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: zsojka at seznam dot cz


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

[Bug tree-optimization/44915] [4.6 Regression] ICE: SIGSEGV in walk_aliased_vdefs_1.constprop.42 (tree-ssa-alias.c:1707) with -findirect-inlining

[zsojka at seznam dot cz]

------- Comment #1 from zsojka at seznam dot cz  2010-07-12 06:13 -------
Created an attachment (id=21182)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21182&action=view)
reduced testcase

Command line:
$ g++ -findirect-inlining pr44915.C


-- 


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

[Bug tree-optimization/44915] [4.6 Regression] ICE: SIGSEGV in walk_aliased_vdefs_1.constprop.42 (tree-ssa-alias.c:1707) with -findirect-inlining

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jamborm at gcc dot gnu dot
                   |                            |org
   Target Milestone|---                         |4.6.0


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

[Bug tree-optimization/44915] [4.6 Regression] ICE: SIGSEGV in walk_aliased_vdefs_1.constprop.42 (tree-ssa-alias.c:1707) with -findirect-inlining

[hjl dot tools at gmail dot com]

------- Comment #2 from hjl dot tools at gmail dot com  2010-07-12 16:07 -------
It is caused by revision 161384:

http://gcc.gnu.org/ml/gcc-cvs/2010-06/msg01302.html


-- 


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

[Bug tree-optimization/44915] [4.6 Regression] ICE: SIGSEGV in walk_aliased_vdefs_1.constprop.42 (tree-ssa-alias.c:1707) with -findirect-inlining

[jamborm at gcc dot gnu dot org]

------- Comment #3 from jamborm at gcc dot gnu dot org  2010-07-22 18:22 -------
We should not be attempting indirect inlining at -O0.  I'll make sure we don't.


-- 

jamborm at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jamborm at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-07-22 18:22:39
               date|                            |


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

[Bug tree-optimization/44915] [4.6 Regression] ICE: SIGSEGV in walk_aliased_vdefs_1.constprop.42 (tree-ssa-alias.c:1707) with -findirect-inlining

[jamborm at gcc dot gnu dot org]

------- Comment #4 from jamborm at gcc dot gnu dot org  2010-07-23 14:00 -------
I have submitted a proposed fix to the mailing list:

http://gcc.gnu.org/ml/gcc-patches/2010-07/msg01859.html


-- 


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

[Bug tree-optimization/44915] [4.6 Regression] ICE: SIGSEGV in walk_aliased_vdefs_1.constprop.42 (tree-ssa-alias.c:1707) with -findirect-inlining

[jamborm at gcc dot gnu dot org]

------- Comment #6 from jamborm at gcc dot gnu dot org  2010-07-23 16:36 -------
Fixed.


-- 

jamborm at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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

[Bug tree-optimization/44915] [4.6 Regression] ICE: SIGSEGV in walk_aliased_vdefs_1.constprop.42 (tree-ssa-alias.c:1707) with -findirect-inlining

[jamborm at gcc dot gnu dot org]

------- Comment #5 from jamborm at gcc dot gnu dot org  2010-07-23 16:36 -------
Subject: Bug 44915

Author: jamborm
Date: Fri Jul 23 16:35:52 2010
New Revision: 162469

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=162469
Log:
2010-07-23  Martin Jambor  <mjambor@suse.cz>

        PR tree-optimization/44915
        * ipa-cp.c (cgraph_gate_cp): Also check that optimize is true.
        * ipa-inline.c (cgraph_mark_inline_edge): Likewise.
        (analyze_function): Likewise.

        * testsuite/g++.dg/torture/pr44915.C: New test.


Added:
    trunk/gcc/testsuite/g++.dg/torture/pr44915.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-cp.c
    trunk/gcc/ipa-inline.c
    trunk/gcc/testsuite/ChangeLog


-- 


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