[Bug c++/53003] New: Internal compiler error on short testcase

[Bug c++/53003] New: Internal compiler error on short testcase

[rippey.e at gmail dot com]

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

             Bug #: 53003
           Summary: Internal compiler error on short testcase
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: rippey.e@gmail.com


When a file containing only "struct A{ void a{} return b" is run it produces:

bad.cpp:1:18: internal compiler error: Segmentation fault
 struct A{ void a{} return b
                  ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

This is with SVN version 186473 on i686 GNU/Linux, with no configure options. 
No special command line options are required - this is triggered by "g++
bad.cpp".  

The code snippet is obviously invalid C++.  The snippet was arrived at by
taking a program that was valid C++ but also triggered internal compiler
errors, and reducing its size as much as possible without regard for validity.

[Bug c++/53003] Internal compiler error on short testcase

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-04-16
      Known to work|                            |4.6.3
     Ever Confirmed|0                           |1

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-04-16 08:17:19 UTC ---
Program received signal SIGSEGV, Segmentation fault.
0x00000000005d2b95 in cp_parser_member_declaration (parser=0x7ffff1b33948) at
/home/redi/src/gcc/gcc-4.x/gcc/cp/parser.c:19113
19113                       error_at (initializer_token_start->location,
Missing separate debuginfos, use: debuginfo-install gmp-4.3.2-4.fc16.x86_64
libmpc-0.9-1.fc16.x86_64 mpfr-3.0.0-4.fc15.x86_64 zlib-1.2.5-6.fc16.x86_64
(gdb) p initializer_token_start 
$1 = (cp_token *) 0x0
(gdb) bt
#0  0x00000000005d2b95 in cp_parser_member_declaration (parser=0x7ffff1b33948)
at /home/redi/src/gcc/gcc-4.x/gcc/cp/parser.c:19113
#1  0x00000000005b743c in cp_parser_member_specification_opt (parser=<optimized
out>) at /home/redi/src/gcc/gcc-4.x/gcc/cp/parser.c:18708
#2  cp_parser_class_specifier_1 (parser=0x7ffff1b33948) at
/home/redi/src/gcc/gcc-4.x/gcc/cp/parser.c:17981
#3  cp_parser_class_specifier (parser=0x7ffff1b33948) at
/home/redi/src/gcc/gcc-4.x/gcc/cp/parser.c:18192
#4  cp_parser_type_specifier (parser=0x7ffff1b33948, flags=<optimized out>,
decl_specs=0x7fffffffda40, is_declaration=1 '\001', 
    declares_class_or_enum=0x7fffffffd9d8, is_cv_qualifier=<optimized out>) at
/home/redi/src/gcc/gcc-4.x/gcc/cp/parser.c:13358
#5  0x00000000005c7518 in cp_parser_decl_specifier_seq (parser=0x7ffff1b33948,
flags=1, decl_specs=0x7fffffffda40, declares_class_or_enum=0x7fffffffdaa8)
    at /home/redi/src/gcc/gcc-4.x/gcc/cp/parser.c:10701
#6  0x00000000005d0d2a in cp_parser_simple_declaration (parser=0x7ffff1b33948,
function_definition_allowed_p=1 '\001', maybe_range_for_decl=0x0)
    at /home/redi/src/gcc/gcc-4.x/gcc/cp/parser.c:10352
#7  0x00000000005d2f19 in cp_parser_block_declaration (statement_p=0 '\000',
parser=0x7ffff1b33948) at /home/redi/src/gcc/gcc-4.x/gcc/cp/parser.c:10303
#8  cp_parser_block_declaration (parser=0x7ffff1b33948, statement_p=0 '\000')
at /home/redi/src/gcc/gcc-4.x/gcc/cp/parser.c:10229
#9  0x00000000005d8432 in cp_parser_declaration (parser=0x7ffff1b33948) at
/home/redi/src/gcc/gcc-4.x/gcc/cp/parser.c:10200
#10 cp_parser_declaration (parser=0x7ffff1b33948) at
/home/redi/src/gcc/gcc-4.x/gcc/cp/parser.c:10107
#11 0x00000000005d6f43 in cp_parser_declaration_seq_opt (parser=0x7ffff1b33948)
at /home/redi/src/gcc/gcc-4.x/gcc/cp/parser.c:10086
#12 0x00000000005d8ac1 in cp_parser_translation_unit (parser=0x7ffff1b33948) at
/home/redi/src/gcc/gcc-4.x/gcc/cp/parser.c:3797
#13 c_parse_file () at /home/redi/src/gcc/gcc-4.x/gcc/cp/parser.c:27431
#14 0x00000000006dce15 in c_common_parse_file () at
/home/redi/src/gcc/gcc-4.x/gcc/c-family/c-opts.c:1124
#15 0x0000000000a2f48c in compile_file () at
/home/redi/src/gcc/gcc-4.x/gcc/toplev.c:556
#16 do_compile () at /home/redi/src/gcc/gcc-4.x/gcc/toplev.c:1938
#17 toplev_main (argc=15, argv=0x7fffffffdd38) at
/home/redi/src/gcc/gcc-4.x/gcc/toplev.c:2014
#18 0x000000324b42169d in __libc_start_main (main=0x4b7930 <main>, argc=15,
ubp_av=0x7fffffffdd38, init=<optimized out>, fini=<optimized out>, 
    rtld_fini=<optimized out>, stack_end=0x7fffffffdd28) at libc-start.c:226
#19 0x00000000004b7961 in _start ()

[Bug c++/53003] Internal compiler error on short testcase

[paolo at gcc dot gnu.org]

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

--- Comment #2 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> 2012-04-17 17:20:17 UTC ---
Author: paolo
Date: Tue Apr 17 17:20:02 2012
New Revision: 186541

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=186541
Log:
/cp
2012-04-17  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/52599
    * semantics.c (build_constexpr_constructor_member_initializers):
    Check for function-try-block as function-body.

/testsuite
2012-04-17  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/52599
    * g++.dg/cpp0x/constexpr-ctor10.C: New.

/cp
2012-04-17  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/53003
    * parser.c (cp_parser_member_declaration): Check that
    initializer_token_start is non null before dereferencing it.

/testsuite
2012-04-17  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/53003
    * g++.dg/parse/crash59.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-ctor10.C
    trunk/gcc/testsuite/g++.dg/parse/crash59.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/parser.c
    trunk/gcc/cp/semantics.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/53003] Internal compiler error on short testcase

[paolo at gcc dot gnu.org]

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

--- Comment #3 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> 2012-04-17 17:45:35 UTC ---
Author: paolo
Date: Tue Apr 17 17:45:25 2012
New Revision: 186544

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=186544
Log:
/cp
2012-04-17  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/53003
    * parser.c (cp_parser_member_declaration): Check that
    initializer_token_start is non null before dereferencing it.

/testsuite
2012-04-17  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/53003
    * g++.dg/parse/crash59.C: New.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/g++.dg/parse/crash59.C
Modified:
    branches/gcc-4_7-branch/gcc/cp/ChangeLog
    branches/gcc-4_7-branch/gcc/cp/parser.c
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog

[Bug c++/53003] Internal compiler error on short testcase

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
         AssignedTo|unassigned at gcc dot       |paolo.carlini at oracle dot
                   |gnu.org                     |com
   Target Milestone|---                         |4.7.1

--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-04-17 17:47:05 UTC ---
Fixed mainline and 4.7.1.