[Bug lto/64076] New: ICE: in update_visibility_by_resolution_info, at ipa-visibility.c:427

[Bug lto/64076] New: ICE: in update_visibility_by_resolution_info, at ipa-visibility.c:427

[d.g.gorbachev at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64076

            Bug ID: 64076
           Summary: ICE: in update_visibility_by_resolution_info, at
                    ipa-visibility.c:427
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: lto
          Assignee: unassigned at gcc dot gnu.org
          Reporter: d.g.gorbachev at gmail dot com

Testcase in attachment 32108 (from bug 60150).

GCC 5.0.0 20141123 (experimental).

lto1: internal compiler error: in update_visibility_by_resolution_info, at
ipa-visibility.c:427
0x8c6bd6e update_visibility_by_resolution_info
    ../../gcc-5/gcc/ipa-visibility.c:423
0x8c6c7ac function_and_variable_visibility
    ../../gcc-5/gcc/ipa-visibility.c:582
0x8c6db2c whole_program_function_and_variable_visibility
    ../../gcc-5/gcc/ipa-visibility.c:773
0x8c6db2c execute
    ../../gcc-5/gcc/ipa-visibility.c:821
Please submit a full bug report,
with preprocessed source if appropriate.

Appeared in rev. (210315, 210592].

[Bug lto/64076] [4.9/5 Regression] ICE: in update_visibility_by_resolution_info, at ipa-visibility.c:427

[hjl.tools at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64076

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-11-25
                 CC|                            |hubicka at ucw dot cz
   Target Milestone|---                         |4.9.3
            Summary|ICE: in                     |[4.9/5 Regression] ICE: in
                   |update_visibility_by_resolu |update_visibility_by_resolu
                   |tion_info, at               |tion_info, at
                   |ipa-visibility.c:427        |ipa-visibility.c:427
     Ever confirmed|0                           |1

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> ---
It was caused by r202111.

[Bug lto/64076] [4.9/5 Regression] ICE: in update_visibility_by_resolution_info, at ipa-visibility.c:427

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64076

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code, lto
           Priority|P3                          |P2

[Bug lto/64076] [4.9/5 Regression] ICE: in update_visibility_by_resolution_info, at ipa-visibility.c:427

[tbsaunde at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64076

tbsaunde at gcc dot gnu.org changed:

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

--- Comment #2 from tbsaunde at gcc dot gnu.org ---
what happens is this:
testcase_2.o contains thunks to call s:: from vtables for each of x y and z. 
However testcase_2.C is compiled without t being a base so there's no thunk for
t.  So when testcase_1.C is compiled with t as a base of s we have an ironly
thunk for t's vtable to call s::f and prevailing regular definitions of the
other thunks. The result of that is triping the assert because we have one
externally visible ironly thunk, and others that come from testcase_2.o

[Bug lto/64076] [4.9/5 Regression] ICE: in update_visibility_by_resolution_info, at ipa-visibility.c:427

[tbsaunde at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64076

--- Comment #3 from tbsaunde at gcc dot gnu.org ---
Author: tbsaunde
Date: Tue Feb 10 02:23:11 2015
New Revision: 220561

URL: https://gcc.gnu.org/viewcvs?rev=220561&root=gcc&view=rev
Log:
Tolerate different definitions of symbols in lto

gcc/

    PR lto/64076
    * ipa-visibility.c (update_visibility_by_resolution_info): Only
    assert when not in lto mode.

Added:
    trunk/gcc/testsuite/g++.dg/lto/pr64076.H
    trunk/gcc/testsuite/g++.dg/lto/pr64076_0.C
    trunk/gcc/testsuite/g++.dg/lto/pr64076_1.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-visibility.c

[Bug lto/64076] [4.9/5 Regression] ICE: in update_visibility_by_resolution_info, at ipa-visibility.c:427

[tbsaunde at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64076

tbsaunde at gcc dot gnu.org changed:

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

--- Comment #4 from tbsaunde at gcc dot gnu.org ---
fixed