[Bug driver/47795] New: internal compiler error: tree check: expected record_type or union_type or qual_union_type, have error_mark in finish_non_static_data_member, at cp/semantics.c:1513

[Bug driver/47795] New: internal compiler error: tree check: expected record_type or union_type or qual_union_type, have error_mark in finish_non_static_data_member, at cp/semantics.c:1513

[naddiseo at gmail dot com]

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

           Summary: internal compiler error: tree check: expected
                    record_type or union_type or qual_union_type, have
                    error_mark in finish_non_static_data_member, at
                    cp/semantics.c:1513
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: driver
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: naddiseo@gmail.com


Created attachment 23392
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23392
Test case

There's probably a better title, but a minimal testcase is attached.

$ /usr/lib/gcc-snapshot/bin/g++ -std=c++0x main.cpp  
main.cpp: In lambda function:
main.cpp:12:8: error: 'this' was not captured for this lambda function
main.cpp:12:8: internal compiler error: tree check: expected record_type or
union_type or qual_union_type, have error_mark in
finish_non_static_data_member, at cp/semantics.c:1513


$ /usr/lib/gcc-snapshot/bin/g++ -v
Using built-in specs.
COLLECT_GCC=/usr/lib/gcc-snapshot/bin/g++
COLLECT_LTO_WRAPPER=/usr/lib/gcc-snapshot/libexec/gcc/x86_64-linux-gnu/4.6.0/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu
20101004-0ubuntu1' --with-bugurl=file:///usr/share/doc/gcc-snapshot/README.Bugs
--enable-languages=c,ada,c++,fortran,objc,obj-c++
--prefix=/usr/lib/gcc-snapshot --enable-shared --enable-multiarch
--enable-linker-build-id --with-system-zlib --disable-nls --with-sysroot=/
--enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes
--enable-plugin --enable-gold --with-plugin-ld=ld.gold --enable-objc-gc
--disable-werror --with-arch-32=i686 --with-tune=generic --enable-checking=yes
--build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 4.6.0 20101004 (experimental) [trunk revision 164952] (Ubuntu
20101004-0ubuntu1)

[Bug driver/47795] [4.5/4.6 Regression] internal compiler error: tree check: expected record_type or union_type or qual_union_type, have error_mark in finish_non_static_data_member, at cp/semantics.c:1513

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
           Keywords|                            |error-recovery,
                   |                            |ice-checking,
                   |                            |ice-on-invalid-code
   Last reconfirmed|                            |2011.02.18 11:49:12
     Ever Confirmed|0                           |1
            Summary|internal compiler error:    |[4.5/4.6 Regression]
                   |tree check: expected        |internal compiler error:
                   |record_type or union_type   |tree check: expected
                   |or qual_union_type, have    |record_type or union_type
                   |error_mark in               |or qual_union_type, have
                   |finish_non_static_data_memb |error_mark in
                   |er, at cp/semantics.c:1513  |finish_non_static_data_memb
                   |                            |er, at cp/semantics.c:1513
   Target Milestone|---                         |4.5.3

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-02-18 11:49:12 UTC ---
Confirmed.

[Bug c++/47795] [4.5/4.6 Regression] internal compiler error: tree check: expected record_type or union_type or qual_union_type, have error_mark in finish_non_static_data_member, at cp/semantics.c:1513

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |paolo.carlini at oracle dot
                   |gnu.org                     |com

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-02-18 16:36:08 UTC ---
I have a patch.

[Bug c++/47795] [4.5/4.6 Regression] internal compiler error: tree check: expected record_type or union_type or qual_union_type, have error_mark in finish_non_static_data_member, at cp/semantics.c:1513

[paolo at gcc dot gnu.org]

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

--- Comment #3 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> 2011-02-18 17:22:19 UTC ---
Author: paolo
Date: Fri Feb 18 17:22:14 2011
New Revision: 170275

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=170275
Log:
/cp
2011-02-18  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/47795
    * semantics.c (finish_non_static_data_member): Early return if
    object is error_mark_node.

/testsuite
2011-02-18  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/47795
    * g++.dg/cpp0x/lambda/lambda-ice3.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-ice3.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/semantics.c

[Bug c++/47795] [4.5/4.6 Regression] internal compiler error: tree check: expected record_type or union_type or qual_union_type, have error_mark in finish_non_static_data_member, at cp/semantics.c:1513

[paolo at gcc dot gnu.org]

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

--- Comment #4 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> 2011-02-18 17:24:35 UTC ---
Author: paolo
Date: Fri Feb 18 17:24:29 2011
New Revision: 170276

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=170276
Log:
/cp
2011-02-18  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/47795
    * semantics.c (finish_non_static_data_member): Early return if
    object is error_mark_node.

/testsuite
2011-02-18  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/47795
    * g++.dg/cpp0x/lambda/lambda-ice3.C: New.

Modified:
    trunk/gcc/testsuite/ChangeLog

[Bug c++/47795] [4.5 Regression] internal compiler error: tree check: expected record_type or union_type or qual_union_type, have error_mark in finish_non_static_data_member, at cp/semantics.c:1513

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |NEW
         AssignedTo|paolo.carlini at oracle dot |unassigned at gcc dot
                   |com                         |gnu.org
            Summary|[4.5/4.6 Regression]        |[4.5 Regression] internal
                   |internal compiler error:    |compiler error: tree check:
                   |tree check: expected        |expected record_type or
                   |record_type or union_type   |union_type or
                   |or qual_union_type, have    |qual_union_type, have
                   |error_mark in               |error_mark in
                   |finish_non_static_data_memb |finish_non_static_data_memb
                   |er, at cp/semantics.c:1513  |er, at cp/semantics.c:1513

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-02-18 17:27:30 UTC ---
Fixed for 4.6.0. The patch doesn't seem to work as-is in 4_5-branch: being just
an ICE on invalid, I'm not going to further fiddle with that branch.

[Bug c++/47795] [4.5 Regression] internal compiler error: tree check: expected record_type or union_type or qual_union_type, have error_mark in finish_non_static_data_member, at cp/semantics.c:1513

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P5
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|4.5.3                       |4.6.0
      Known to fail|                            |4.5.3

--- Comment #6 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-03-08 13:28:07 UTC ---
Fixed for trunk.