[Bug c++/33839] New: [4.3 regresssion] ICE with decltype

[Bug c++/33839] New: [4.3 regresssion] ICE with decltype

[reichelt at gcc dot gnu dot org]

The following code snippet triggers an ICE on mainline
(I'm not sure whether this is valid or not):

===============================
template<int> struct A;

void foo()
{
  __decltype A<0>;
}
===============================

bug5.cc: In function 'void foo()':
bug5.cc:9: internal compiler error: in cp_parser_lookup_name, at
cp/parser.c:16084
Please submit a full bug report, [etc.]

The problem appeared between 2007-07-16 and 2007-08-15, presumably with
the introduction of decltype:

2007-07-27  Douglas Gregor  <doug.gregor@gmail.com>

        * typeck.c (structural_comptypes): Compare DECLTYPE_TYPE nodes.
        * cp-tree.def (DECLTYPE_TYPE): New.
        * error.c (dump_type): Dump DECLTYPE_TYPE nodes.
        ...


-- 
           Summary: [4.3 regresssion] ICE with decltype
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code, monitored
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org


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

[Bug c++/33839] [4.3 regresssion] ICE with decltype

[reichelt at gcc dot gnu dot org]

-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.3.0


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

[Bug c++/33839] [4.3 regresssion] ICE with decltype

[bangerth at dealii dot org]

------- Comment #1 from bangerth at dealii dot org  2007-10-20 23:36 -------
The code should be invalid precisely because this is also invalid:
-------------------
template<int> struct A;

void foo()
{
  A<0>;
}
-------------------

g/x> c++ -c x.cc
x.cc: In function 'void foo()':
x.cc:5: error: declaration does not declare anything

W.


-- 


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

[Bug c++/33839] [4.3 regresssion] ICE with decltype

[dgregor at gcc dot gnu dot org]

------- Comment #2 from dgregor at gcc dot gnu dot org  2007-10-26 17:54 -------
Subject: Bug 33839

Author: dgregor
Date: Fri Oct 26 17:53:56 2007
New Revision: 129656

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129656
Log:
2007-10-26  Douglas Gregor  <doug.gregor@gmail.com>

        PR c++/33839
        * parser.c (cp_parser_decltype): Return ERROR_MARK_NODE if we
        don't see the leading '('. Only lookup names if we get an
        IDENTIFIER_NODE.

2007-10-26  Douglas Gregor  <doug.gregor@gmail.com>

        * g++.dg/cpp0x/pr33839.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/pr33839.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/parser.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/33839] [4.3 regresssion] ICE with decltype

[dgregor at gcc dot gnu dot org]

------- Comment #3 from dgregor at gcc dot gnu dot org  2007-10-26 18:01 -------
Fixed. The testcase is invalid code, but we shouldn't crash on it. Now we
don't.


-- 

dgregor at gcc dot gnu dot org changed:

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


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

[Bug c++/33839] [4.3 regresssion] ICE with decltype

[dgregor at gcc dot gnu dot org]

------- Comment #4 from dgregor at gcc dot gnu dot org  2007-10-26 18:36 -------
*** Bug 33837 has been marked as a duplicate of this bug. ***


-- 


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

[Bug c++/33839] [4.3 regresssion] ICE with decltype

[dgregor at gcc dot gnu dot org]

------- Comment #5 from dgregor at gcc dot gnu dot org  2007-10-26 18:38 -------
*** Bug 33838 has been marked as a duplicate of this bug. ***


-- 


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