[Bug c++/61670] New: ICE on invalid in tree_nop_conversion

[Bug c++/61670] New: ICE on invalid in tree_nop_conversion

[dimhen at gmail dot com]

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

            Bug ID: 61670
           Summary: ICE on invalid in tree_nop_conversion
           Product: gcc
           Version: 4.10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dimhen at gmail dot com

$ cat au.ii 
template <class> class A {
A:
  0
};

A<int> a;

$ /usr/local/gcc_current/bin/g++ -v              
Using built-in specs.
COLLECT_GCC=/usr/local/gcc_current/bin/g++
COLLECT_LTO_WRAPPER=/usr/local/gcc_current/libexec/gcc/x86_64-unknown-linux-gnu/4.10.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /home/dimhen/src/gcc_current/configure
--prefix=/usr/local/gcc_current/ --enable-checking=yes,df,rtl,tree
--enable-languages=c,c++,lto --enable-plugin
--enable-version-specific-runtime-libs --enable-static
Thread model: posix
gcc version 4.10.0 20140702 (experimental) [trunk revision 212219] (GCC) 

[dimhen@dim x]$ /usr/local/gcc_current/bin/g++ -c au.ii -o au.o
au.ii:3:3: error: expected ';' at end of member declaration
   0
   ^
au.ii: In instantiation of 'class A<int>':
au.ii:6:8:   required from here
au.ii:3:3: error: 'A< <template-parameter-1-1> >::<anonymous>' has incomplete
type
au.ii:1:24: note: definition of 'class A<int>' is not complete until the
closing brace
 template <class> class A {
                        ^
au.ii:1:24: internal compiler error: Segmentation fault
0xc4a0ff crash_signal
    /home/dimhen/src/gcc_current/gcc/toplev.c:337
0xe9c214 tree_nop_conversion
    /home/dimhen/src/gcc_current/gcc/tree.c:11667
0xe9c214 tree_strip_nop_conversions(tree_node*)
    /home/dimhen/src/gcc_current/gcc/tree.c:11718
0xe9dc9a integer_zerop(tree_node const*)
    /home/dimhen/src/gcc_current/gcc/tree.c:2114
0x632dbf remove_zero_width_bit_fields
    /home/dimhen/src/gcc_current/gcc/cp/class.c:5255
0x632dbf layout_class_type
    /home/dimhen/src/gcc_current/gcc/cp/class.c:6194
0x63ebcc finish_struct_1(tree_node*)
    /home/dimhen/src/gcc_current/gcc/cp/class.c:6416
0x6118aa instantiate_class_template_1
    /home/dimhen/src/gcc_current/gcc/cp/pt.c:9404
0x6118aa instantiate_class_template(tree_node*)
    /home/dimhen/src/gcc_current/gcc/cp/pt.c:9444
0x6a8533 complete_type(tree_node*)
    /home/dimhen/src/gcc_current/gcc/cp/typeck.c:134
0x586569 start_decl_1(tree_node*, bool)
    /home/dimhen/src/gcc_current/gcc/cp/decl.c:4762
0x5af793 start_decl(cp_declarator const*, cp_decl_specifier_seq*, int,
tree_node*, tree_node*, tree_node**)
    /home/dimhen/src/gcc_current/gcc/cp/decl.c:4725
0x69051f cp_parser_init_declarator
    /home/dimhen/src/gcc_current/gcc/cp/parser.c:16827
0x691fd5 cp_parser_simple_declaration
    /home/dimhen/src/gcc_current/gcc/cp/parser.c:11322
0x675c53 cp_parser_block_declaration
    /home/dimhen/src/gcc_current/gcc/cp/parser.c:11203
0x69ddc5 cp_parser_declaration
    /home/dimhen/src/gcc_current/gcc/cp/parser.c:11100
0x69ca88 cp_parser_declaration_seq_opt
    /home/dimhen/src/gcc_current/gcc/cp/parser.c:10986
0x69e313 cp_parser_translation_unit
    /home/dimhen/src/gcc_current/gcc/cp/parser.c:4053
0x69e313 c_parse_file()
    /home/dimhen/src/gcc_current/gcc/cp/parser.c:31811
0x7c9fa2 c_common_parse_file()
    /home/dimhen/src/gcc_current/gcc/c-family/c-opts.c:1115
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 c++/61670] ICE on invalid in tree_nop_conversion

[ville.voutilainen at gmail dot com]

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

Ville Voutilainen <ville.voutilainen at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at redhat dot com,
                   |                            |ville.voutilainen at gmail dot com
      Known to work|                            |4.8.2, 4.9.1, 5.0

--- Comment #1 from Ville Voutilainen <ville.voutilainen at gmail dot com> ---
Current trunk does not ICE. Please close.

[Bug c++/61670] ICE on invalid in tree_nop_conversion

[glisse at gcc dot gnu.org]

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

Marc Glisse <glisse at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |error-recovery,
                   |                            |ice-on-invalid-code
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-12-14
      Known to work|5.0                         |
     Ever confirmed|0                           |1

--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> ---
(In reply to Ville Voutilainen from comment #1)
> Current trunk does not ICE. Please close.

It does crash for me. Ville, could you please check the PRs you recently
commented on? There may be others where using a release compiler gave
unexpected results.

[Bug c++/61670] ICE on invalid in tree_nop_conversion

[ville.voutilainen at gmail dot com]

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

--- Comment #3 from Ville Voutilainen <ville.voutilainen at gmail dot com> ---
This doesn't crash on my local compiler, which is 20141212.

[Bug c++/61670] ICE on invalid in tree_nop_conversion

[glisse at gcc dot gnu.org]

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

--- Comment #4 from Marc Glisse <glisse at gcc dot gnu.org> ---
I checked 2 versions of the compiler, built with rather different options.

$ /tmp/gcc-trunk/inst/bin/g++ -v au.ii
Using built-in specs.
COLLECT_GCC=/tmp/gcc-trunk/inst/bin/g++
COLLECT_LTO_WRAPPER=/tmp/gcc-trunk/inst/libexec/gcc/x86_64-unknown-linux-gnu/5.0.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /data/repos/gcc/trunk/configure --prefix=/tmp/gcc-trunk/inst
--enable-languages=c,c++ --with-system-zlib --disable-nls
--enable-libstdcxx-time=yes --disable-bootstrap --disable-libgomp
--disable-libitm --disable-libquadmath --disable-libatomic --disable-libssp
--disable-multilib --disable-libsanitizer --disable-libvtv --disable-libcilkrts
Thread model: posix
gcc version 5.0.0 20141214 (experimental) (GCC) 

COLLECT_GCC_OPTIONS='-v' '-shared-libgcc' '-mtune=generic' '-march=x86-64'
 /tmp/gcc-trunk/inst/libexec/gcc/x86_64-unknown-linux-gnu/5.0.0/cc1plus
-fpreprocessed au.ii -quiet -dumpbase au.ii -mtune=generic -march=x86-64
-auxbase au -version -o /tmp/ccnPdFYY.s
GNU C++ (GCC) version 5.0.0 20141214 (experimental) (x86_64-unknown-linux-gnu)
    compiled by GNU C version 4.9.2, GMP version 6.0.0, MPFR version 3.1.2-p3,
MPC version 1.0.2
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C++ (GCC) version 5.0.0 20141214 (experimental) (x86_64-unknown-linux-gnu)
    compiled by GNU C version 4.9.2, GMP version 6.0.0, MPFR version 3.1.2-p3,
MPC version 1.0.2
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: b5315edcdb3bca01922ebdd9643a9265
au.ii:3:3: error: expected ';' at end of member declaration
   0
   ^
au.ii: In instantiation of 'class A<int>':
au.ii:6:8:   required from here
au.ii:3:3: error: 'A< <template-parameter-1-1> >::<anonymous>' has incomplete
type
au.ii:1:24: note: definition of 'class A<int>' is not complete until the
closing brace
 template <class> class A {
                        ^
au.ii:1:24: internal compiler error: Segmentation fault
0xf69874 crash_signal
    /data/repos/gcc/trunk/gcc/toplev.c:358
0x1263b61 tree_nop_conversion
    /data/repos/gcc/trunk/gcc/tree.c:11711
0x1263dfb tree_strip_nop_conversions(tree_node*)
    /data/repos/gcc/trunk/gcc/tree.c:11750
0x1240839 integer_zerop(tree_node const*)
    /data/repos/gcc/trunk/gcc/tree.c:2176
0x7e8ee2 remove_zero_width_bit_fields
    /data/repos/gcc/trunk/gcc/cp/class.c:5313
0x7edb59 layout_class_type
    /data/repos/gcc/trunk/gcc/cp/class.c:6251
0x7ef32a finish_struct_1(tree_node*)
    /data/repos/gcc/trunk/gcc/cp/class.c:6473
0x781aae instantiate_class_template_1
    /data/repos/gcc/trunk/gcc/cp/pt.c:9592
0x781cbe instantiate_class_template(tree_node*)
    /data/repos/gcc/trunk/gcc/cp/pt.c:9632
0x871398 complete_type(tree_node*)
    /data/repos/gcc/trunk/gcc/cp/typeck.c:136
0x719a7c start_decl_1(tree_node*, bool)
    /data/repos/gcc/trunk/gcc/cp/decl.c:4862
0x719885 start_decl(cp_declarator const*, cp_decl_specifier_seq*, int,
tree_node*, tree_node*, tree_node**)
    /data/repos/gcc/trunk/gcc/cp/decl.c:4825
0x844bee cp_parser_init_declarator
    /data/repos/gcc/trunk/gcc/cp/parser.c:17082
0x83bde6 cp_parser_simple_declaration
    /data/repos/gcc/trunk/gcc/cp/parser.c:11548
0x83bbdf cp_parser_block_declaration
    /data/repos/gcc/trunk/gcc/cp/parser.c:11429
0x83b963 cp_parser_declaration
    /data/repos/gcc/trunk/gcc/cp/parser.c:11326
0x83b518 cp_parser_declaration_seq_opt
    /data/repos/gcc/trunk/gcc/cp/parser.c:11212
0x82eeb6 cp_parser_translation_unit
    /data/repos/gcc/trunk/gcc/cp/parser.c:4102
0x8648bf c_parse_file()
    /data/repos/gcc/trunk/gcc/cp/parser.c:32222
0x9d8096 c_common_parse_file()
    /data/repos/gcc/trunk/gcc/c-family/c-opts.c:1039
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.


$ /tmp/gcc/inst/bin/g++ -v au.ii 
Using built-in specs.
COLLECT_GCC=/tmp/gcc/inst/bin/g++
COLLECT_LTO_WRAPPER=/usr/lib/gcc-snapshot/libexec/gcc/x86_64-linux-gnu/5.0.0/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Debian 20141209-1'
--with-bugurl=file:///usr/share/doc/gcc-snapshot/README.Bugs
--enable-languages=c,ada,c++,java,go,fortran,objc,obj-c++
--prefix=/usr/lib/gcc-snapshot --enable-shared --enable-linker-build-id
--disable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug
--enable-libstdcxx-time=yes --enable-gnu-unique-object --disable-vtable-verify
--enable-plugin --with-system-zlib --disable-browser-plugin
--enable-java-awt=gtk --enable-gtk-cairo
--with-java-home=/usr/lib/jvm/java-1.5.0-gcj-5.0-snap-amd64/jre
--enable-java-home
--with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-5.0-snap-amd64
--with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-5.0-snap-amd64
--with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar
--enable-objc-gc --enable-multiarch --with-arch-32=i586 --with-abi=m64
--with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic
--disable-werror --enable-checking=yes --build=x86_64-linux-gnu
--host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 5.0.0 20141209 (experimental) [trunk revision 218514] (Debian
20141209-1) 

COLLECT_GCC_OPTIONS='-v' '-shared-libgcc' '-mtune=generic' '-march=x86-64'
 /usr/lib/gcc-snapshot/libexec/gcc/x86_64-linux-gnu/5.0.0/cc1plus
-fpreprocessed au.ii -quiet -dumpbase au.ii -mtune=generic -march=x86-64
-auxbase au -version -o /tmp/ccLUie8q.s
GNU C++ (Debian 20141209-1) version 5.0.0 20141209 (experimental) [trunk
revision 218514] (x86_64-linux-gnu)
    compiled by GNU C version 5.0.0 20141209 (experimental) [trunk revision
218514], GMP version 6.0.0, MPFR version 3.1.2-p3, MPC version 1.0.2
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C++ (Debian 20141209-1) version 5.0.0 20141209 (experimental) [trunk
revision 218514] (x86_64-linux-gnu)
    compiled by GNU C version 5.0.0 20141209 (experimental) [trunk revision
218514], GMP version 6.0.0, MPFR version 3.1.2-p3, MPC version 1.0.2
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 3d557ab608ce6af8bf7d25d4be684816
au.ii:3:3: error: expected ';' at end of member declaration
   0
   ^
au.ii: In instantiation of 'class A<int>':
au.ii:6:8:   required from here
au.ii:3:3: error: 'A< <template-parameter-1-1> >::<anonymous>' has incomplete
type
au.ii:1:24: note: definition of 'class A<int>' is not complete until the
closing brace
 template <class> class A {
                        ^
au.ii:1:24: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-snapshot/README.Bugs> for instructions.


I guess some computers are more ICE-happy than others ;-)

[Bug c++/61670] ICE on invalid in tree_nop_conversion

[dimhen at gmail dot com]

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

--- Comment #5 from Dmitry G. Dyachenko <dimhen at gmail dot com> ---
r218716 FAIL for me

Fedora 21 x86_64

PR61670]$ LANG=C /usr/local/gcc_current/bin/g++ -fsyntax-only -fpreprocessed
au.ii 
au.ii:3:3: error: expected ';' at end of member declaration
   0
   ^
au.ii: In instantiation of 'class A<int>':
au.ii:6:8:   required from here
au.ii:3:3: error: 'A< <template-parameter-1-1> >::<anonymous>' has incomplete
type
au.ii:1:24: note: definition of 'class A<int>' is not complete until the
closing brace
 template <class> class A {
                        ^
au.ii:1:24: internal compiler error: Segmentation fault
0xcad88f crash_signal
    /home/dimhen/src/gcc_current/gcc/toplev.c:358
0xf18a01 tree_nop_conversion
    /home/dimhen/src/gcc_current/gcc/tree.c:11711
0xf18a01 tree_strip_nop_conversions(tree_node*)
    /home/dimhen/src/gcc_current/gcc/tree.c:11750
0xf1a2aa integer_zerop(tree_node const*)
    /home/dimhen/src/gcc_current/gcc/tree.c:2176
0x6cebcf remove_zero_width_bit_fields
    /home/dimhen/src/gcc_current/gcc/cp/class.c:5313
0x6cebcf layout_class_type
    /home/dimhen/src/gcc_current/gcc/cp/class.c:6251
0x6db15c finish_struct_1(tree_node*)
    /home/dimhen/src/gcc_current/gcc/cp/class.c:6473
0x6adeaa instantiate_class_template_1
    /home/dimhen/src/gcc_current/gcc/cp/pt.c:9592
0x6adeaa instantiate_class_template(tree_node*)
    /home/dimhen/src/gcc_current/gcc/cp/pt.c:9632
0x74474b complete_type(tree_node*)
    /home/dimhen/src/gcc_current/gcc/cp/typeck.c:136
0x620927 start_decl_1(tree_node*, bool)
    /home/dimhen/src/gcc_current/gcc/cp/decl.c:4862
0x643427 start_decl(cp_declarator const*, cp_decl_specifier_seq*, int,
tree_node*, tree_node*, tree_node**)
    /home/dimhen/src/gcc_current/gcc/cp/decl.c:4825
0x72ca9a cp_parser_init_declarator
    /home/dimhen/src/gcc_current/gcc/cp/parser.c:17082
0x72e4c6 cp_parser_simple_declaration
    /home/dimhen/src/gcc_current/gcc/cp/parser.c:11548
0x72e873 cp_parser_block_declaration
    /home/dimhen/src/gcc_current/gcc/cp/parser.c:11429
0x70fb59 cp_parser_declaration
    /home/dimhen/src/gcc_current/gcc/cp/parser.c:11326
0x73c0fa cp_parser_declaration_seq_opt
    /home/dimhen/src/gcc_current/gcc/cp/parser.c:11212
0x73c437 cp_parser_translation_unit
    /home/dimhen/src/gcc_current/gcc/cp/parser.c:4102
0x73c437 c_parse_file()
    /home/dimhen/src/gcc_current/gcc/cp/parser.c:32222
0x86ed62 c_common_parse_file()
    /home/dimhen/src/gcc_current/gcc/c-family/c-opts.c:1039
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.

$ LANG=C /usr/local/gcc_current/bin/g++ -v
Using built-in specs.
COLLECT_GCC=/usr/local/gcc_current/bin/g++
COLLECT_LTO_WRAPPER=/usr/local/gcc_current/libexec/gcc/x86_64-unknown-linux-gnu/5.0.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /home/dimhen/src/gcc_current/configure
--prefix=/usr/local/gcc_current/ --enable-languages=c,c++,lto
--enable-plugin=yes --enable-static
Thread model: posix
gcc version 5.0.0 20141214 (experimental) [trunk revision 218716] (GCC)

[Bug c++/61670] ICE on invalid in tree_nop_conversion

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|                            |mpolacek at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |mpolacek at gcc dot gnu.org
   Target Milestone|---                         |5.0

--- Comment #6 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Testing a fix.

[Bug c++/61670] ICE on invalid in tree_nop_conversion

[mpolacek at gcc dot gnu.org]

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

--- Comment #7 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Author: mpolacek
Date: Wed Mar 25 20:06:24 2015
New Revision: 221671

URL: https://gcc.gnu.org/viewcvs?rev=221671&root=gcc&view=rev
Log:
    PR c++/61670
    * class.c (remove_zero_width_bit_fields): Check for null DECL_SIZE.

    * g++.dg/template/pr61670.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/template/pr61670.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/class.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/61670] ICE on invalid in tree_nop_conversion

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

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

--- Comment #8 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Fixed for GCC 5.