[Bug lto/66027] New: lto1: internal compiler error: in odr_types_equivalent_p

[Bug lto/66027] New: lto1: internal compiler error: in odr_types_equivalent_p

[t at sharklasers dot com]

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

            Bug ID: 66027
           Summary: lto1: internal compiler error: in
                    odr_types_equivalent_p
           Product: gcc
           Version: 5.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: lto
          Assignee: unassigned at gcc dot gnu.org
          Reporter: t at sharklasers dot com
  Target Milestone: ---

Created attachment 35468
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35468&action=edit
complete commandline used to link

"openSUSE 13.2 (Harlequin) (x86_64)"

$ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=gcc5.1/lib/gcc/x86_64-unknown-linux-gnu/5.1.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../gcc-5.1.0/configure --prefix=gcc5.1
--enable-languages=c,c++ --enable-gold=yes --enable-ld=yes --enable-lto
--enable-bootstrap --disable-multilib
Thread model: posix
gcc version 5.1.0 (GCC)

llvm[4]: Linking Release+Asserts Shared Library libclang.so
 <nullptr_type 0x7f717e5c92a0 decltype(nullptr) unsigned DI
    size <integer_cst 0x7f717f5a9bb8 type <integer_type 0x7f717f5ad150
bitsizetype> constant 64>
    unit size <integer_cst 0x7f717f5a9bd0 type <integer_type 0x7f717f5ad0a8
sizetype> constant 8>
    align 8 symtab 0 alias set 0 canonical type 0x7f717e5c92a0
    pointer_to_this <pointer_type 0x7f7178ac0d20> reference_to_this
<reference_type 0x7f7178e68930>>
lto1: internal compiler error: in odr_types_equivalent_p, at ipa-devirt.c:1543
0x807397 odr_types_equivalent_p
        ../../gcc-5.1.0/gcc/ipa-devirt.c:1543
0x8076ad odr_types_equivalent_p
        ../../gcc-5.1.0/gcc/ipa-devirt.c:1440
0x804ca1 add_type_duplicate
        ../../gcc-5.1.0/gcc/ipa-devirt.c:1770
0x804ca1 get_odr_type(tree_node*, bool)
        ../../gcc-5.1.0/gcc/ipa-devirt.c:1959
0x80642c register_odr_type(tree_node*)
        ../../gcc-5.1.0/gcc/ipa-devirt.c:2034
0x63876d lto_read_decls
        ../../gcc-5.1.0/gcc/lto/lto.c:1952
0x6394ae lto_file_finalize
        ../../gcc-5.1.0/gcc/lto/lto.c:2249
0x6394ae lto_create_files_from_ids
        ../../gcc-5.1.0/gcc/lto/lto.c:2259
0x6394ae lto_file_read
        ../../gcc-5.1.0/gcc/lto/lto.c:2300
0x6394ae read_cgraph_and_symbols
        ../../gcc-5.1.0/gcc/lto/lto.c:3005
0x6394ae lto_main()
        ../../gcc-5.1.0/gcc/lto/lto.c:3475

[Bug lto/66027] lto1: internal compiler error: in odr_types_equivalent_p

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2015-05-05
     Ever confirmed|0                           |1

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
This is not enough information as we need to be able to reproduce it.  Can you
provide the preprocessed source for each of the objects and each of the
libraries? Or better yet reduce how the number of object files you need to
reproduce the failure.

[Bug lto/66027] lto1: internal compiler error: in odr_types_equivalent_p

[t at sharklasers dot com]

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

--- Comment #2 from JD <t at sharklasers dot com> ---
I managed create a minimal example.

bug66027 $ make -j 
g++ -std=c++14 -c -fPIC -march=native -O3 -flto -fuse-linker-plugin
-fno-fat-lto-objects ASTContext_preproc.cpp -o ASTContext_preproc.o
g++ -std=c++14 -c -fPIC -march=native -O3 -flto -fuse-linker-plugin
-fno-fat-lto-objects ASTConsumer_preproc.cpp -o ASTConsumer_preproc.o
ar cru libAST.a ASTContext_preproc.o ASTConsumer_preproc.o
g++ -flto=4 -std=c++14 -march=native -fuse-linker-plugin -shared -o bla.so
CIndex_preproc.cpp libAST.a
 <nullptr_type 0x7f9352ff5d20 decltype(nullptr) unsigned DI
    size <integer_cst 0x7f9353b9bbb8 type <integer_type 0x7f9353b9f150
bitsizetype> constant 64>
    unit size <integer_cst 0x7f9353b9bbd0 type <integer_type 0x7f9353b9f0a8
sizetype> constant 8>
    align 8 symtab 0 alias set 0 canonical type 0x7f9352ff5d20
    pointer_to_this <pointer_type 0x7f9352782738> reference_to_this
<reference_type 0x7f9352ff6000>>
lto1: internal compiler error: in odr_types_equivalent_p, at ipa-devirt.c:1543
0x807397 odr_types_equivalent_p
        ../../gcc-5.1.0/gcc/ipa-devirt.c:1543
0x8076ad odr_types_equivalent_p
        ../../gcc-5.1.0/gcc/ipa-devirt.c:1440
0x804ca1 add_type_duplicate
        ../../gcc-5.1.0/gcc/ipa-devirt.c:1770
0x804ca1 get_odr_type(tree_node*, bool)
        ../../gcc-5.1.0/gcc/ipa-devirt.c:1959
0x80642c register_odr_type(tree_node*)
        ../../gcc-5.1.0/gcc/ipa-devirt.c:2034
0x63876d lto_read_decls
        ../../gcc-5.1.0/gcc/lto/lto.c:1952
0x6394ae lto_file_finalize
        ../../gcc-5.1.0/gcc/lto/lto.c:2249
0x6394ae lto_create_files_from_ids
        ../../gcc-5.1.0/gcc/lto/lto.c:2259
0x6394ae lto_file_read
        ../../gcc-5.1.0/gcc/lto/lto.c:2300
0x6394ae read_cgraph_and_symbols
        ../../gcc-5.1.0/gcc/lto/lto.c:3005
0x6394ae lto_main()
        ../../gcc-5.1.0/gcc/lto/lto.c:3475
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.
lto-wrapper: fatal error: g++ returned 1 exit status
compilation terminated.
/usr/bin/ld: lto-wrapper failed
collect2: error: ld returned 1 exit status
Makefile:7: recipe for target 'all' failed
make: *** [all] Error 1

ld -v
GNU ld (GNU Binutils; openSUSE 13.2) 2.24.0.20140403-6.1

gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/home/german/local/gcc5.1/lib/gcc/x86_64-unknown-linux-gnu/5.1.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../gcc-5.1.0/configure --prefix=/home/german/local/gcc5.1
--enable-languages=c,c++ --enable-gold=yes --enable-ld=yes --enable-lto
--enable-bootstrap --disable-multilib
Thread model: posix
gcc version 5.1.0 (GCC)

ar --version
GNU ar (GNU Binutils; openSUSE 13.2) 2.24.0.20140403-6.1

[Bug lto/66027] lto1: internal compiler error: in odr_types_equivalent_p

[t at sharklasers dot com]

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

--- Comment #3 from JD <t at sharklasers dot com> ---
Created attachment 35490
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35490&action=edit
preprocessed sources and makefile

[Bug lto/66027] lto1: internal compiler error: in odr_types_equivalent_p

[t at sharklasers dot com]

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

--- Comment #4 from JD <t at sharklasers dot com> ---
Removing the -O3 flag from the first two invocations changes the behavior:

g++ -std=c++14 -c -fPIC -march=native -flto -fuse-linker-plugin
-fno-fat-lto-objects ASTContext_preproc.cpp -o ASTContext_preproc.o
g++ -std=c++14 -c -fPIC -march=native -flto -fuse-linker-plugin
-fno-fat-lto-objects ASTConsumer_preproc.cpp -o ASTConsumer_preproc.o
ar cru libAST.a ASTContext_preproc.o ASTConsumer_preproc.o
g++ -flto=4 -std=c++14 -march=native -fuse-linker-plugin -shared -o bla.so
CIndex_preproc.cpp libAST.a
/usr/bin/ld: /tmp/ccPyzc8a.ltrans0.ltrans.o: relocation R_X86_64_32 against
`_ZZN4llvm11isa_impl_clIN5clang24OMPThreadPrivateDeclAttrEPKNS1_4AttrEE4doitES5_E19__PRETTY_FUNCTION__.lto_priv.73'
can not be used when making a shared object; recompile with -fPIC
/tmp/ccPyzc8a.ltrans0.ltrans.o: error adding symbols: Bad value
collect2: error: ld returned 1 exit status

Adding the -fPIC flag as told makes the example compile successfully with and
without -O3.
---------------------

Removing the -march=native flags causes a compilation error:
g++ -std=c++14 -c -fPIC -O3 -flto -fuse-linker-plugin -fno-fat-lto-objects
ASTContext_preproc.cpp -o ASTContext_preproc.o
g++ -std=c++14 -c -fPIC -O3 -flto -fuse-linker-plugin -fno-fat-lto-objects
ASTConsumer_preproc.cpp -o ASTConsumer_preproc.o
ar cru libAST.a ASTContext_preproc.o ASTConsumer_preproc.o

g++ -flto=4 -std=c++14 -fuse-linker-plugin -shared -o bla.so CIndex_preproc.cpp
libAST.a
In file included from
gcc5.1/lib64/gcc/x86_64-unknown-linux-gnu/5.1.0/include/x86intrin.h:27:0,
                 from
gcc5.1/include/c++/5.1.0/x86_64-unknown-linux-gnu/bits/opt_random.h:33,
                 from gcc5.1/include/c++/5.1.0/random:50,
                 from gcc5.1/include/c++/5.1.0/bits/stl_algo.h:66,
                 from gcc5.1/include/c++/5.1.0/algorithm:62,
                 from llvm/include/llvm/ADT/StringRef.h:13,
                 from CIndexer.h:19,
                 from CIndex.cpp:15:
gcc5.1/lib64/gcc/x86_64-unknown-linux-gnu/5.1.0/include/ia32intrin.h: In
function 'unsigned int __crc32b(unsigned int, unsigned char)':
gcc5.1/lib64/gcc/x86_64-unknown-linux-gnu/5.1.0/include/ia32intrin.h:63:42:
error: '__builtin_ia32_crc32qi' was not declared in this scope
   return __builtin_ia32_crc32qi (__C, __V);
                                          ^
...
...

I added the output of
gcc -march=native -Q --help=target

[Bug lto/66027] lto1: internal compiler error: in odr_types_equivalent_p

[t at sharklasers dot com]

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

--- Comment #5 from JD <t at sharklasers dot com> ---
Created attachment 35492
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35492&action=edit
output of gcc -march=native -Q --help=target

[Bug lto/66027] lto1: internal compiler error: in odr_types_equivalent_p

[trippels at gcc dot gnu.org]

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

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
                 CC|                            |trippels at gcc dot gnu.org
      Known to work|                            |6.0
   Target Milestone|---                         |5.2
      Known to fail|                            |5.0

--- Comment #6 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Confirmed.


Linking CXX executable ../../bin/llvm-dsymutil
[100%] Built target clang-format  
 <nullptr_type 0x3fff8628a6b0 decltype(nullptr) unsigned DI
    size <integer_cst 0x3fff85b11158 type <integer_type 0x3fff85b402a0
bitsizetype> constant 64>
    unit size <integer_cst 0x3fff85b11170 type <integer_type 0x3fff85b401f8
sizetype> constant 8>
    align 8 symtab 0 alias set -1 canonical type 0x3fff85f1c438>
lto1: internal compiler error: in odr_types_equivalent_p, at ipa-devirt.c:1543
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
lto-wrapper: fatal error: /home/trippels/gcc_5/usr/local/bin/g++ returned 1
exit status
compilation terminated.
/home/trippels/bin/ld: fatal error: lto-wrapper failed
collect2: error: ld returned 1 exit status
tools/clang/tools/diagtool/CMakeFiles/diagtool.dir/build.make:228: recipe for
target 'bin/diagtool' failed
make[2]: *** [bin/diagtool] Error 1
CMakeFiles/Makefile2:14311: recipe for target
'tools/clang/tools/diagtool/CMakeFiles/diagtool.dir/all' failed
make[1]: *** [tools/clang/tools/diagtool/CMakeFiles/diagtool.dir/all] Error 2
make[1]: *** Waiting for unfinished jobs....
Linking CXX executable ../../../../bin/clang
 <nullptr_type 0x3fff800abda8 decltype(nullptr) unsigned DI
    size <integer_cst 0x3fff7f7b1158 type <integer_type 0x3fff7f7e02a0
bitsizetype> constant 64>
    unit size <integer_cst 0x3fff7f7b1170 type <integer_type 0x3fff7f7e01f8
sizetype> constant 8>
    align 8 symtab 0 alias set -1 canonical type 0x3fff7fddac98>
lto1: internal compiler error: in odr_types_equivalent_p, at ipa-devirt.c:1543
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
lto-wrapper: fatal error: /home/trippels/gcc_5/usr/local/bin/g++ returned 1
exit status
compilation terminated.
/home/trippels/bin/ld: fatal error: lto-wrapper failed
collect2: error: ld returned 1 exit status
tools/clang/tools/arcmt-test/CMakeFiles/arcmt-test.dir/build.make:108: recipe
for target 'bin/arcmt-test' failed
make[2]: *** [bin/arcmt-test] Error 1
CMakeFiles/Makefile2:14900: recipe for target
'tools/clang/tools/arcmt-test/CMakeFiles/arcmt-test.dir/all' failed
make[1]: *** [tools/clang/tools/arcmt-test/CMakeFiles/arcmt-test.dir/all] Error
2
Linking CXX shared library ../../../../lib/libclang.so
/home/trippels/llvm/include/llvm/ADT/ImmutableMap.h:26:32: warning: type ‘const
struct value_type’ violates one definition rule [-Wodr]
   typedef const std::pair<T,S> value_type;
                                ^
/home/trippels/llvm/include/llvm/ADT/ImmutableMap.h:26:32: note: a different
type is defined in another translation unit
   typedef const std::pair<T,S> value_type;
                                ^
/home/trippels/gcc_5/usr/local/include/c++/5.0.1/bits/stl_pair.h:102:11: note:
the first difference of corresponding definitions is field ‘second’
       _T2 second;                /// @c second is a copy of the second object
           ^
/home/trippels/gcc_5/usr/local/include/c++/5.0.1/bits/stl_pair.h:102:11: note:
a field of same name but different type is defined in another translation unit
       _T2 second;                /// @c second is a copy of the second object
           ^
/home/trippels/llvm/tools/clang/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp:30:8:
note: type ‘struct StreamState’ defined in anonymous namespace can not match
type ‘struct StreamState’
 struct StreamState {
        ^
/home/trippels/llvm/tools/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp:29:8:
note: the incompatible type defined in anonymous namespace in another
translation unit
 struct StreamState {
        ^
/home/trippels/llvm/include/llvm/ADT/ImmutableMap.h:30:21: warning: type ‘const
struct data_type’ violates one definition rule [-Wodr]
   typedef const S   data_type;
                     ^
/home/trippels/llvm/include/llvm/ADT/ImmutableMap.h:30:21: note: a different
type is defined in another translation unit
   typedef const S   data_type;
                     ^
/home/trippels/llvm/tools/clang/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp:32:32:
note: the first difference of corresponding definitions is field ‘K’
   enum Kind { Opened, Closed } K;
                                ^
/home/trippels/llvm/tools/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp:30:53:
note: a field of same name but different type is defined in another translation
unit
   enum Kind { Opened, Closed, OpenFailed, Escaped } K;
                                                     ^
/home/trippels/llvm/tools/clang/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp:32:8:
note: type ‘Kind’ defined in anonymous namespace can not match type ‘Kind’
   enum Kind { Opened, Closed } K;
        ^
/home/trippels/llvm/tools/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp:30:8:
note: the incompatible type defined in anonymous namespace in another
translation unit
   enum Kind { Opened, Closed, OpenFailed, Escaped } K;
        ^
 <nullptr_type 0x3fff73bf1500 decltype(nullptr) unsigned DI
    size <integer_cst 0x3fff73281158 type <integer_type 0x3fff732b02a0
bitsizetype> constant 64>
    unit size <integer_cst 0x3fff73281170 type <integer_type 0x3fff732b01f8
sizetype> constant 8>
    align 8 symtab 0 alias set -1 canonical type 0x3fff73bf1500>
lto1: internal compiler error: in odr_types_equivalent_p, at ipa-devirt.c:1543
Please submit a full bug report,
with preprocessed source if appropriate.
>From gcc-bugs-return-486463-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun May 17 07:46:38 2015
Return-Path: <gcc-bugs-return-486463-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 51246 invoked by alias); 17 May 2015 07:46:37 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 51205 invoked by uid 48); 17 May 2015 07:46:33 -0000
From: "ubizjak at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/66140] ICE at extract_insn, at recog.c:2343 when compiling for alpha with gcc-5.1.1
Date: Sun, 17 May 2015 07:46:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 5.1.1
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ubizjak at gmail dot com
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Resolution: FIXED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: ubizjak at gmail dot com
X-Bugzilla-Target-Milestone: 4.8.5
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: cf_gcctarget bug_status resolution target_milestone
Message-ID: <bug-66140-4-ZbHS5Cret9@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-66140-4@http.gcc.gnu.org/bugzilla/>
References: <bug-66140-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-05/txt/msg01303.txt.bz2
Content-length: 550

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

Uroš Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|                            |alpha
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|4.9.3                       |4.8.5

--- Comment #8 from Uroš Bizjak <ubizjak at gmail dot com> ---
Fixed everywhere.
>From gcc-bugs-return-486464-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun May 17 09:12:35 2015
Return-Path: <gcc-bugs-return-486464-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 57702 invoked by alias); 17 May 2015 09:12:35 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 57660 invoked by uid 48); 17 May 2015 09:12:30 -0000
From: "ubizjak at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ipa/66181] New: [6 Regression]: /usr/include/bits/types.h:134:16: ICE: verify_type failed
Date: Sun, 17 May 2015 09:12:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ipa
X-Bugzilla-Version: 6.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ubizjak at gmail dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter target_milestone
Message-ID: <bug-66181-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-05/txt/msg01304.txt.bz2
Content-length: 7261

https://gcc.gnu.org/bugzilla/show_bug.cgi?idf181

            Bug ID: 66181
           Summary: [6 Regression]: /usr/include/bits/types.h:134:16: ICE:
                    verify_type failed
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ipa
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ubizjak at gmail dot com
  Target Milestone: ---

Recent commits caused following ICE, reproducible with to-be attached source
and a crosscompiler from x86_64-linux-gnu to alpha-linux-gnu:

$ /ssd/uros/gcc-build-alpha/gcc/cc1plus -O2 -g -std=gnu++0x -fpreprocessed -o
xxx.s stdc++.ii

In file included from /usr/include/ctype.h:26:0,
                 from
/space/homedirs/uros/gcc-build/alphaev68-unknown-linux-gnu/libstdc++-v3/include/cctype:42,
                 from
/space/homedirs/uros/gcc-svn/trunk/libstdc++-v3/include/precompiled/stdc++.h:35:
/usr/include/bits/types.h:134:16: error: type variant differs by
TYPE_NO_FORCE_BLK.
 __STD_TYPE __FSID_T_TYPE __fsid_t; /* Type of file system IDs.  */
                 ^
 <record_type 0x7fd1cb443348 ._0 asm_written no-force-blk type_5 BLK
    size <integer_cst 0x7fd1cb24cb28 type <integer_type 0x7fd1cb250150
bitsizetype> constant 64>
    unit size <integer_cst 0x7fd1cb24cb40 type <integer_type 0x7fd1cb2500a8
sizetype> constant 8>
    align 32 symtab -884711424 alias set -1 canonical type 0x7fd1cb443348
    fields <field_decl 0x7fd1cb4424c0 __val
        type <array_type 0x7fd1cb443540 type <integer_type 0x7fd1cb250690 int>
            asm_written no-force-blk BLK size <integer_cst 0x7fd1cb24cb28 64>
unit size <integer_cst 0x7fd1cb24cb40 8>
            align 32 symtab -884711344 alias set -1 canonical type
0x7fd1cb443540 domain <integer_type 0x7fd1cb37fbd0>>
        nonlocal decl_3 BLK file /usr/include/bits/types.h line 134 col 29 size
<integer_cst 0x7fd1cb24cb28 64> unit size <integer_cst 0x7fd1cb24cb40 8>
        align 32 offset_align 128
        offset <integer_cst 0x7fd1cb24cb58 constant 0>
        bit offset <integer_cst 0x7fd1cb24cba0 constant 0> context <record_type
0x7fd1cb443348 ._0>
        chain <type_decl 0x7fd1cb442428 ._0 type <record_type 0x7fd1cb4433f0
._0>
            nonlocal in_system_header decl_4 VOID file
/usr/include/bits/types.h line 134 col 16
            align 1 context <record_type 0x7fd1cb443348 ._0> result
<record_type 0x7fd1cb443348 ._0>
           >> context <translation_unit_decl 0x7fd1d19f3078 D.1>
    full-name "struct<anonymous>"
    X() X(constX&) this=(X&) n_parents=0 use_template=0 interface-unknown
    chain <type_decl 0x7fd1cb442390 ._0>>
 <record_type 0x7fd1cb4433f0 ._0 type_5 BLK
    size <integer_cst 0x7fd1cb24cb28 type <integer_type 0x7fd1cb250150
bitsizetype> constant 64>
    unit size <integer_cst 0x7fd1cb24cb40 type <integer_type 0x7fd1cb2500a8
sizetype> constant 8>
    align 32 symtab 0 alias set -1 canonical type 0x7fd1cb443348
    fields <field_decl 0x7fd1cb4424c0 __val
        type <array_type 0x7fd1cb443540 type <integer_type 0x7fd1cb250690 int>
            asm_written no-force-blk BLK size <integer_cst 0x7fd1cb24cb28 64>
unit size <integer_cst 0x7fd1cb24cb40 8>
            align 32 symtab -884711344 alias set -1 canonical type
0x7fd1cb443540 domain <integer_type 0x7fd1cb37fbd0>>
        nonlocal decl_3 BLK file /usr/include/bits/types.h line 134 col 29 size
<integer_cst 0x7fd1cb24cb28 64> unit size <integer_cst 0x7fd1cb24cb40 8>
        align 32 offset_align 128
        offset <integer_cst 0x7fd1cb24cb58 constant 0>
        bit offset <integer_cst 0x7fd1cb24cba0 constant 0> context <record_type
0x7fd1cb443348 ._0>
        chain <type_decl 0x7fd1cb442428 ._0 type <record_type 0x7fd1cb4433f0
._0>
            nonlocal in_system_header decl_4 VOID file
/usr/include/bits/types.h line 134 col 16
            align 1 context <record_type 0x7fd1cb443348 ._0> result
<record_type 0x7fd1cb443348 ._0>
           >> context <translation_unit_decl 0x7fd1d19f3078 D.1>
    full-name "struct<anonymous>"
    X() X(constX&) this=(X&) n_parents=0 use_template=0 interface-unknown
    chain <type_decl 0x7fd1cb442390 ._0>>
/usr/include/bits/types.h:134:16: internal compiler error: verify_type failed
0xe50e82 verify_type(tree_node const*)
        /home/uros/gcc-svn/trunk/gcc/tree.c:13012
0x8958c4 gen_type_die_with_usage
        /home/uros/gcc-svn/trunk/gcc/dwarf2out.c:20250
0x8942ad gen_decl_die
        /home/uros/gcc-svn/trunk/gcc/dwarf2out.c:20987
0x892983 gen_member_die
        /home/uros/gcc-svn/trunk/gcc/dwarf2out.c:19945
0x892983 gen_struct_or_union_type_die
        /home/uros/gcc-svn/trunk/gcc/dwarf2out.c:20038
0x892983 gen_tagged_type_die
        /home/uros/gcc-svn/trunk/gcc/dwarf2out.c:20227
0x89607d gen_type_die_with_usage
        /home/uros/gcc-svn/trunk/gcc/dwarf2out.c:20381
0x8942ad gen_decl_die
        /home/uros/gcc-svn/trunk/gcc/dwarf2out.c:20987
0x89507c dwarf2out_decl
        /home/uros/gcc-svn/trunk/gcc/dwarf2out.c:21397
0xb2253f rest_of_type_compilation(tree_node*, int)
        /home/uros/gcc-svn/trunk/gcc/passes.c:309
0x5ec7f8 finish_struct_1(tree_node*)
        /home/uros/gcc-svn/trunk/gcc/cp/class.c:6723
0x5eded4 finish_struct(tree_node*, tree_node*)
        /home/uros/gcc-svn/trunk/gcc/cp/class.c:6888
0x628662 cp_parser_class_specifier_1
        /home/uros/gcc-svn/trunk/gcc/cp/parser.c:19868
0x628662 cp_parser_class_specifier
        /home/uros/gcc-svn/trunk/gcc/cp/parser.c:20096
0x628662 cp_parser_type_specifier
        /home/uros/gcc-svn/trunk/gcc/cp/parser.c:14734
0x63cf3d cp_parser_decl_specifier_seq
        /home/uros/gcc-svn/trunk/gcc/cp/parser.c:11965
0x6506f1 cp_parser_simple_declaration
        /home/uros/gcc-svn/trunk/gcc/cp/parser.c:11542
0x649973 cp_parser_block_declaration
        /home/uros/gcc-svn/trunk/gcc/cp/parser.c:11489
0x654522 cp_parser_declaration
        /home/uros/gcc-svn/trunk/gcc/cp/parser.c:11386
0x652c48 cp_parser_declaration_seq_opt
        /home/uros/gcc-svn/trunk/gcc/cp/parser.c:11272
Please submit a full bug report,
...

Caused by one of:

2015-05-16  Jan HUbicka  <hubicka@ucw.cz>

        * toplev.c (emit_debug_global_declarations): Do not output debug info
        when doing slim LTO objects.

2015-05-16  Jan HUbicka  <hubicka@ucw.cz>

        * ipa-utils.h (warn_types_mismatch, odr_or_derived_type_p,
        odr_types_equivalent_p): Declare.
        (odr_type_p): Use gcc_checking_assert.
        (type_in_anonymous_namespace_p) Declare.
        (type_with_linkage_p): Declare.
        * common.opt (Wlto-type-mismatch): New warning.
        * ipa-devirt.c (compound_type_base): New function.
        (odr_or_derived_type_p): New function.
        (odr_types_equivalent_p): New function.
        (add_type_duplicate): Simplify.
        (type_with_linkage_p): Add hack to prevent false positives on C types
        (type_in_anonymous_namespace_p): Likewise.
        * tree.c (need_assembler_name_p): Use type_with_linkage.
        * tree.h (type_in_anonymous_namespace_p): Remove.
        * doc/invoke.texi (-Wlto-type-mismatch): Document

2015-05-16  Jan HUbicka  <hubicka@ucw.cz>

        * tree.c (verify_type_variant): Verify tree_base and type_common flags.
        (verify_type): Verify STRING_FLAG.

[Bug lto/66027] lto1: internal compiler error: in odr_types_equivalent_p

[trippels at gcc dot gnu.org]

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

--- Comment #7 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
trippels@gcc75 ~ % cat ASTContext_preproc.cpp
namespace std {
template <class _T1, class _T2> struct pair {
  _T1 first;
  _T2 second;
};
template <class _T1, class _T2> pair<_T1, _T2> make_pair(_T1, _T2);
}
namespace llvm {
class StringRef;
}
using llvm::StringRef;
namespace llvm {
class StringRef {
  char *Data;
  unsigned long Length;

public:
  StringRef(int);
};
}
class A {
public:
  void m_fn1(StringRef Name) { std::make_pair(Name, nullptr); }
};
class B {
  A &Idents;
  int m_fn2() const;
};
int B::m_fn2() const { Idents.m_fn1(0); }


trippels@gcc75 ~ % cat CIndex_preproc.cpp
namespace std {
template <class _T1, class _T2> struct pair {
  _T1 first;
  _T2 second;
};
template <class _T1, class _T2> pair<_T1, _T2> make_pair(_T1, _T2);
}
namespace llvm {
class StringRef {
  char *Data;
  unsigned long Length;
};
}
void annotatePreprocessorTokens() {
  llvm::StringRef Name;
  std::make_pair(Name, nullptr);
}

trippels@gcc75 ~ % ~/gcc_5/usr/local/bin/g++ -fPIC -flto -std=c++14 -O2 -c
ASTContext_preproc.cpp
trippels@gcc75 ~ % ~/gcc_5/usr/local/bin/g++ -fPIC -flto -std=c++14 -shared -o
/dev/null CIndex_preproc.cpp ASTContext_preproc.o
 <nullptr_type 0x7f2accfb9b28 decltype(nullptr) unsigned DI
    size <integer_cst 0x7f2accdc4bb8 type <integer_type 0x7f2accdc8150
bitsizetype> constant 64>
    unit size <integer_cst 0x7f2accdc4bd0 type <integer_type 0x7f2accdc80a8
sizetype> constant 8>
    align 8 symtab 0 alias set 0 canonical type 0x7f2accfb9b28>
lto1: internal compiler error: in odr_types_equivalent_p, at ipa-devirt.c:1543
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
lto-wrapper: fatal error: /home/trippels/gcc_5/usr/local/bin/g++ returned 1
exit status
compilation terminated.
/home/trippels/bin/ld: fatal error: lto-wrapper failed
collect2: error: ld returned 1 exit status

[Bug lto/66027] lto1: internal compiler error: in odr_types_equivalent_p

[hubicka at gcc dot gnu.org]

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

Jan Hubicka <hubicka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |hubicka at gcc dot gnu.org

--- Comment #8 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Hmm, type preloading strikes back.  We should not try to look into the main
variant of VOIDTYPE.

[Bug lto/66027] lto1: internal compiler error: in odr_types_equivalent_p

[hubicka at gcc dot gnu.org]

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

--- Comment #9 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Actually it turns out I already fixed this on mainline. The following hunk
should be backported to GCC 5 I guess.
Index: ipa-devirt.c
===================================================================
--- ipa-devirt.c        (revision 223252)
+++ ipa-devirt.c        (working copy)
@@ -1536,6 +1536,7 @@ odr_types_equivalent_p (tree t1, tree t2
        break;
       }
     case VOID_TYPE:
+    case NULLPTR_TYPE:
       break;

     default:

[Bug lto/66027] lto1: internal compiler error: in odr_types_equivalent_p

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|5.2                         |5.3

--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 5.2 is being released, adjusting target milestone to 5.3.