[Bug c++/46852] New: ICE: tree check: expected class âtypeâ, have âexceptionalâ (error_mark) in cp_parser_class_specifier, at cp/parser.c:16947

["gcc at abeckmann dot de" <gcc-bugzilla at gcc dot gnu dot org>]

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

           Summary: ICE: tree check: expected class âtypeâ, have
                    âexceptionalâ (error_mark) in
                    cp_parser_class_specifier, at cp/parser.c:16947
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: gcc@abeckmann.de


The following code fragment gives an ICE in trunk:

===== 8< =====
template
<
class
{
===== >8 =====

$ g++-trunk -c -v ice-cp_parser_class_specifier.min.ii
Using built-in specs.
COLLECT_GCC=/opt/software/x86_64/gcc-trunk/bin/g++-trunk
COLLECT_LTO_WRAPPER=/opt/software/x86_64/gcc-trunk/libexec/gcc/x86_64-unknown-linux-gnu/4.6.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../gcc-trunk/configure --prefix=/opt/software/x86_64/gcc-trunk
--program-suffix=-trunk --enable-languages=c,c++ --enable-checking
Thread model: posix
gcc version 4.6.0 20101207 (experimental) (GCC)
COLLECT_GCC_OPTIONS='-c' '-v' '-shared-libgcc' '-mtune=generic' '-march=x86-64'

/opt/software/x86_64/gcc-trunk/libexec/gcc/x86_64-unknown-linux-gnu/4.6.0/cc1plus
-fpreprocessed ice-cp_parser_class_specifier.min.ii -quiet -dumpbase
ice-cp_parser_class_specifier.min.ii -mtune=generic -march=x86-64 -auxbase
ice-cp_parser_class_specifier.min -version -o /tmp/ccKrOsa0.s
GNU C++ (GCC) version 4.6.0 20101207 (experimental) (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.6.0 20101207 (experimental), GMP version
4.3.2, MPFR version 3.0.0-p3, MPC version 0.8.2
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C++ (GCC) version 4.6.0 20101207 (experimental) (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.6.0 20101207 (experimental), GMP version
4.3.2, MPFR version 3.0.0-p3, MPC version 0.8.2
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 58dd45b357216c1e9d23aab2b8f87581
ice-cp_parser_class_specifier.min.ii:4:1: error: types may not be defined in
parameter types
ice-cp_parser_class_specifier.min.ii:4:1: error: definition of
âclass<anonymous>â inside template parameter list
ice-cp_parser_class_specifier.min.ii:4:1: error: expected â}â at end of input
ice-cp_parser_class_specifier.min.ii:4:1: internal compiler error: tree check:
expected class âtypeâ, have âexceptionalâ (error_mark) in
cp_parser_class_specifier, at cp/parser.c:16947
Please submit a full bug report,


This is a regression from 4.5.x which properly gives these errors:

$ g++-4.5.x -c ice-cp_parser_class_specifier.min.ii
ice-cp_parser_class_specifier.min.ii:4:1: error: types may not be defined in
parameter types
ice-cp_parser_class_specifier.min.ii:4:1: error: definition of
âclass<anonymous>â inside template parameter list
ice-cp_parser_class_specifier.min.ii:4:1: error: expected â}â at end of input
ice-cp_parser_class_specifier.min.ii:4:1: error: expected â>â at end of input
ice-cp_parser_class_specifier.min.ii:4:1: error: expected unqualified-id at end
of input

Andreas