[Bug c++/45665] New: [4.4/4.5/4.6 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in grokdeclarator, at cp/decl.c:8797 on invalid code

[Bug c++/45665] New: [4.4/4.5/4.6 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in grokdeclarator, at cp/decl.c:8797 on invalid code

[zsojka at seznam dot cz]

Compiler output:
$ gcc testcase.C 
testcase.C:2:11: error: type/value mismatch at argument 1 in template parameter
list for 'template<class> struct S'
testcase.C:2:11: error:   expected a type, got '0'
testcase.C:2:21: internal compiler error: tree check: expected class 'type',
have 'exceptional' (error_mark) in grokdeclarator, at cp/decl.c:8797
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

----- testcase.C -----
template < typename > struct S;
void (S <0>::*ptr) ();
----------------------

Tested revisions:
r164228 - crash
r161659 - crash
r159696 - OK
r158978 - OK
4.5 r163761 - crash
4.5 r158978 - OK
4.4 r160770 - crash
4.4 r154975 - OK


-- 
           Summary: [4.4/4.5/4.6 Regression] ICE: tree check: expected class
                    'type', have 'exceptional' (error_mark) in
                    grokdeclarator, at cp/decl.c:8797 on invalid code
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: minor
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: zsojka at seznam dot cz


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

[Bug c++/45665] [4.4/4.5/4.6 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in grokdeclarator, at cp/decl.c:8797 on invalid code

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.4.5


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

[Bug c++/45665] [4.4/4.5/4.6 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in grokdeclarator, at cp/decl.c:8797 on invalid code

[paolo dot carlini at oracle dot com]

------- Comment #1 from paolo dot carlini at oracle dot com  2010-09-14 10:46 -------
Seems simple


-- 

paolo dot carlini at oracle dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |paolo dot carlini at oracle
                   |dot org                     |dot com
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-09-14 10:46:27
               date|                            |


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

[Bug c++/45665] [4.4/4.5/4.6 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in grokdeclarator, at cp/decl.c:8797 on invalid code

[hjl dot tools at gmail dot com]

------- Comment #2 from hjl dot tools at gmail dot com  2010-09-14 16:02 -------
It is caused by revision 159939:

http://gcc.gnu.org/ml/gcc-cvs/2010-05/msg00996.html


-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at redhat dot com


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

[Bug c++/45665] [4.4/4.5/4.6 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in grokdeclarator, at cp/decl.c:8797 on invalid code

[paolo at gcc dot gnu dot org]

------- Comment #3 from paolo at gcc dot gnu dot org  2010-09-15 09:06 -------
Subject: Bug 45665

Author: paolo
Date: Wed Sep 15 09:06:32 2010
New Revision: 164299

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=164299
Log:
/cp
2010-09-15  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/45665
        * decl.c (grokdeclarator): Check build_memfn_type return value
        for error_mark_node.

/testsuite
2010-09-15  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/45665
        * g++.dg/template/crash103.C: New.

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


-- 


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

[Bug c++/45665] [4.4/4.5 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in grokdeclarator, at cp/decl.c:8797 on invalid code

[paolo dot carlini at oracle dot com]

------- Comment #4 from paolo dot carlini at oracle dot com  2010-09-15 09:08 -------
Fixed for 4.6.0.


-- 

paolo dot carlini at oracle dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|paolo dot carlini at oracle |unassigned at gcc dot gnu
                   |dot com                     |dot org
             Status|ASSIGNED                    |NEW
      Known to fail|4.4.5 4.5.2 4.6.0           |4.4.5 4.5.2
      Known to work|4.4.2                       |4.4.2 4.6.0
            Summary|[4.4/4.5/4.6 Regression]    |[4.4/4.5 Regression] ICE:
                   |ICE: tree check: expected   |tree check: expected class
                   |class 'type', have          |'type', have 'exceptional'
                   |'exceptional' (error_mark)  |(error_mark) in
                   |in grokdeclarator, at       |grokdeclarator, at
                   |cp/decl.c:8797 on invalid   |cp/decl.c:8797 on invalid
                   |code                        |code
   Target Milestone|4.4.5                       |4.6.0


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

[Bug c++/45665] [4.4/4.5 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in grokdeclarator, at cp/decl.c:8797 on invalid code

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |jason at gcc dot gnu.org
      Known to work|                            |
         Resolution|                            |FIXED
   Target Milestone|4.6.1                       |4.6.0
      Known to fail|                            |

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> 2011-03-31 16:13:45 UTC ---
Doesn't seem worth backporting a fix for ice after valid error.

[Bug c++/45665] [4.4/4.5 Regression] ICE: tree check: expected class 'type', have 'exceptional' (error_mark) in grokdeclarator, at cp/decl.c:8797 on invalid code

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.6.0                       |4.6.1

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-03-25 19:52:07 UTC ---
GCC 4.6.0 is being released, adjusting target milestone.