[Bug tree-optimization/46383] New: ICE: in get_binfo_at_offset, at tree.c:10947

[Bug tree-optimization/46383] New: ICE: in get_binfo_at_offset, at tree.c:10947

[marc.glisse at normalesup dot org]

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

           Summary: ICE: in get_binfo_at_offset, at tree.c:10947
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: marc.glisse@normalesup.org


Created attachment 22338
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22338
testcase

The attached C++ code compiles without optimization or with -O1 but not -O2:
bug.cpp:250:1: internal compiler error: in get_binfo_at_offset, at tree.c:10947

component chosen randomly as usual.

[Bug tree-optimization/46383] [4.6 Regression] ICE: in get_binfo_at_offset, at tree.c:10947

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.6.0
            Summary|ICE: in                     |[4.6 Regression] ICE: in
                   |get_binfo_at_offset, at     |get_binfo_at_offset, at
                   |tree.c:10947                |tree.c:10947

[Bug tree-optimization/46383] [4.6 Regression] ICE: in get_binfo_at_offset, at tree.c:10947

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2010.11.09 00:16:18
                 CC|                            |mjambor at suse dot cz
     Ever Confirmed|0                           |1

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> 2010-11-09 00:16:18 UTC ---
It is caused by revision 166192:

http://gcc.gnu.org/ml/gcc-cvs/2010-11/msg00078.html

[Bug tree-optimization/46383] [4.6 Regression] ICE: in get_binfo_at_offset, at tree.c:10947

[jamborm at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jamborm at gcc dot gnu.org
         AssignedTo|unassigned at gcc dot       |jamborm at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #2 from Martin Jambor <jamborm at gcc dot gnu.org> 2010-11-11 10:59:55 UTC ---
Patch posted to the mailing list:

http://gcc.gnu.org/ml/gcc-patches/2010-11/msg01141.html

[Bug tree-optimization/46383] [4.6 Regression] ICE: in get_binfo_at_offset, at tree.c:10947

[jamborm at gcc dot gnu.org]

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

--- Comment #3 from Martin Jambor <jamborm at gcc dot gnu.org> 2010-11-11 12:04:02 UTC ---
Author: jamborm
Date: Thu Nov 11 12:03:59 2010
New Revision: 166598

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

    PR tree-optimization/46383
    * ipa-prop.c (compute_complex_assign_jump_func): Ignore negative
    offsets.
    (compute_complex_ancestor_jump_func): Likewise.
    * tree.c (get_binfo_at_offset): Return NULL_TREE if offset is negative.

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


Added:
    trunk/gcc/testsuite/g++.dg/torture/pr46383.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-prop.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree.c

[Bug tree-optimization/46383] [4.6 Regression] ICE: in get_binfo_at_offset, at tree.c:10947

[jamborm at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|mjambor at suse dot cz      |
         Resolution|                            |FIXED

--- Comment #4 from Martin Jambor <jamborm at gcc dot gnu.org> 2010-11-11 12:26:19 UTC ---
Fixed.