[Bug ipa/59008] New: [4.9 Regression] ICEs in try_make_edge_direct_simple_call / propagate_controlled_uses

[Bug ipa/59008] New: [4.9 Regression] ICEs in try_make_edge_direct_simple_call / propagate_controlled_uses

[d.g.gorbachev at gmail dot com]

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

            Bug ID: 59008
           Summary: [4.9 Regression] ICEs in
                    try_make_edge_direct_simple_call /
                    propagate_controlled_uses
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ipa
          Assignee: unassigned at gcc dot gnu.org
          Reporter: d.g.gorbachev at gmail dot com

GCC 4.9.0 20131103 (experimental) /rev. 204338/

$ gcc -S -O2 bug.c
bug.c:29:1: internal compiler error: in try_make_edge_direct_simple_call, at
ipa-prop.c:2623
 }
 ^
0x853c6e3 try_make_edge_direct_simple_call
    ../../gcc-4.9/gcc/ipa-prop.c:2623
0x853c93a update_indirect_edges_after_inlining
    ../../gcc-4.9/gcc/ipa-prop.c:2725
0x853cb51 propagate_info_to_inlined_callees
    ../../gcc-4.9/gcc/ipa-prop.c:2792
0x853d27a ipa_propagate_indirect_call_infos(cgraph_edge*, vec<cgraph_edge*,
va_heap, vl_ptr>*)
    ../../gcc-4.9/gcc/ipa-prop.c:2954
0x8d5842f inline_call(cgraph_edge*, bool, vec<cgraph_edge*, va_heap, vl_ptr>*,
int*, bool)
    ../../gcc-4.9/gcc/ipa-inline-transform.c:270
0x8d564fb inline_small_functions
    ../../gcc-4.9/gcc/ipa-inline.c:1773
0x8d56d57 ipa_inline
    ../../gcc-4.9/gcc/ipa-inline.c:2015
0x8d57766 execute
    ../../gcc-4.9/gcc/ipa-inline.c:2385
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

$ gcc -S -O2 bug.c -DICE2
bug.c:29:1: internal compiler error: in propagate_controlled_uses, at
ipa-prop.c:2888
 }
 ^
0x853d060 propagate_controlled_uses
    ../../gcc-4.9/gcc/ipa-prop.c:2888
0x853d25e ipa_propagate_indirect_call_infos(cgraph_edge*, vec<cgraph_edge*,
va_heap, vl_ptr>*)
    ../../gcc-4.9/gcc/ipa-prop.c:2953
0x8d5842f inline_call(cgraph_edge*, bool, vec<cgraph_edge*, va_heap, vl_ptr>*,
int*, bool)
    ../../gcc-4.9/gcc/ipa-inline-transform.c:270
0x8d564fb inline_small_functions
    ../../gcc-4.9/gcc/ipa-inline.c:1773
0x8d56d57 ipa_inline
    ../../gcc-4.9/gcc/ipa-inline.c:2015
0x8d57766 execute
    ../../gcc-4.9/gcc/ipa-inline.c:2385
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug ipa/59008] [4.9 Regression] ICEs in try_make_edge_direct_simple_call / propagate_controlled_uses

[d.g.gorbachev at gmail dot com]

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

--- Comment #1 from Dmitry Gorbachev <d.g.gorbachev at gmail dot com> ---
Created attachment 31168
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31168&action=edit
Testcases

GCC 20130728 /rev. 201294/ - works.
GCC 20130908 /rev. 202372/ - fails.
GCC 20130818 - fails with "internal compiler error: in
remove_described_reference, at ipa-prop.c:2377".

[Bug ipa/59008] [4.9 Regression] ICEs in try_make_edge_direct_simple_call / propagate_controlled_uses

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
                 CC|                            |hubicka at gcc dot gnu.org
   Target Milestone|---                         |4.9.0

[Bug ipa/59008] [4.9 Regression] ICEs in try_make_edge_direct_simple_call / propagate_controlled_uses

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r201632.

[Bug ipa/59008] [4.9 Regression] ICEs in try_make_edge_direct_simple_call / propagate_controlled_uses

[jamborm at gcc dot gnu.org]

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

--- Comment #5 from Martin Jambor <jamborm at gcc dot gnu.org> ---
IPA-CP is decrementing reference count of parameter 1 instead of
parameter 2.  That happens because the variable param_index in
ipcp_discover_new_direct_edges has type bool instead of int.  What a
stupid mistake.  I'll prepare a patch.

[Bug ipa/59008] [4.9 Regression] ICEs in try_make_edge_direct_simple_call / propagate_controlled_uses

[jamborm at gcc dot gnu.org]

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

--- Comment #6 from Martin Jambor <jamborm at gcc dot gnu.org> ---
Author: jamborm
Date: Mon Jan  6 14:05:25 2014
New Revision: 206361

URL: http://gcc.gnu.org/viewcvs?rev=206361&root=gcc&view=rev
Log:
2014-01-06  Martin Jambor  <mjambor@suse.cz>

    PR ipa/59008
    * ipa-cp.c (ipcp_discover_new_direct_edges): Changed param_index type
    to int.
    * ipa-prop.c (ipa_print_node_params): Fix indentation.

testsuite/
        * gcc.dg/ipa/pr59008.c: New test.


Added:
    trunk/gcc/testsuite/gcc.dg/ipa/pr59008.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-cp.c
    trunk/gcc/ipa-prop.c
    trunk/gcc/testsuite/ChangeLog

[Bug ipa/59008] [4.9 Regression] ICEs in try_make_edge_direct_simple_call / propagate_controlled_uses

[jamborm at gcc dot gnu.org]

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

Martin Jambor <jamborm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
                URL|                            |http://gcc.gnu.org/ml/gcc-p
                   |                            |atches/2014-01/msg00193.htm
                   |                            |l
         Resolution|---                         |FIXED

--- Comment #7 from Martin Jambor <jamborm at gcc dot gnu.org> ---
Fixed by http://gcc.gnu.org/ml/gcc-patches/2014-01/msg00193.html