[Bug c++/29535] New: [4.1/4.2 Regression] ICE in instantiate_class_template, at cp/pt.c:5728

[Bug c++/29535] New: [4.1/4.2 Regression] ICE in instantiate_class_template, at cp/pt.c:5728

[rguenth at gcc dot gnu dot org]

For the following testcase

typedef long unsigned int size_t;
typedef int int16_t __attribute__ ((__mode__ (__HI__)));
typedef int int32_t __attribute__ ((__mode__ (__SI__)));
typedef unsigned char uint8_t;
typedef unsigned short int uint16_t;
template <class FIRST, class SECOND> class Ident { };
template <class TYPE> class Less { };
template <class NUM, int DIM, class TOL> class Pixel { };
typedef Pixel<uint8_t,1,int32_t> PixelY;
template <class INDEX, class SIZE> class Region2D {
public:
  class Extent  { };
};
template <class TYPE, size_t SIZES> class Allocator {
  class Chunk  { };
};
template <class KEY, class VALUE, class KEYFN, class PRED> class SkipList {
  struct Node  { };
  enum { HEADERCHUNK = 10 };
public:
  typedef Allocator<Node,HEADERCHUNK> Allocator;
  class Iterator;
  class ConstIterator  { };
  struct InsertResult  { };
};
template <class TYPE, class PRED = Less<TYPE> > class Set {
  typedef SkipList<TYPE,TYPE,Ident<TYPE,TYPE>,PRED> Imp;
  Imp m_oImp;
public:
  typedef typename Imp::Allocator Allocator;
  Set (const PRED &a_rPred = PRED(),    
       Allocator &a_rAlloc = Imp::sm_oNodeAllocator) 
    : m_oImp (a_rPred, a_rAlloc) { }
  typedef typename Imp::Iterator Iterator;
  typedef typename Imp::ConstIterator ConstIterator;
  Iterator Begin (void) {}
};
template <class INDEX, class SIZE> class SetRegion2D {
  typedef Region2D<INDEX,SIZE> BaseClass;
  typedef typename BaseClass::Extent Extent;
  typedef Set<Extent> Extents;
public:
  typedef typename Extents::ConstIterator ConstIterator;
  ConstIterator Begin (void) const { }
  class FloodFillControl;
};
template <class INDEX, class SIZE>
class SetRegion2D<INDEX,SIZE>::FloodFillControl {
  bool ShouldUseExtent (Extent &a_rExtent) { }
};
template <class PIXEL_TOL, class PIXELINDEX,  class FRAMESIZE, PIXELINDEX PGW >
class MotionSearcher {
  typedef SetRegion2D<PIXELINDEX,FRAMESIZE> Region_t;
  class MatchThrottleFloodFillControl {
    typedef typename Region_t::FloodFillControl BaseClass;
    MatchThrottleFloodFillControl (typename BaseClass::Allocator
&a_rAllocator);
  };
  MatchThrottleFloodFillControl m_oMatchThrottleFloodFillControl;
};
class MotionSearcherY : public MotionSearcher<int32_t, int16_t, int32_t, 4> {};


-- 
           Summary: [4.1/4.2 Regression] ICE in instantiate_class_template,
                    at cp/pt.c:5728
           Product: gcc
           Version: 4.1.2
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rguenth at gcc dot gnu dot org


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

[Bug c++/29535] [4.1/4.2 Regression] ICE in instantiate_class_template, at cp/pt.c:5728

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2006-10-21 13:50 -------
Caused by

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=117695
Log:
        PR c++/28506
        * parser.c (function_declarator_p): New function.
        (cp_parser_init_declarator): Use it.
        (cp_parser_member_declaration): Likewise.
        PR c++/28506
        * g++.dg/parse/pure1.C: New test.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|                            |28506
              nThis|                            |


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

[Bug c++/29535] [4.1/4.2 Regression] ICE in instantiate_class_template, at cp/pt.c:5728

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
   Target Milestone|---                         |4.1.2


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

[Bug c++/29535] [4.1/4.2 Regression] ICE in instantiate_class_template, at cp/pt.c:5728

[pinskia at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 546 bytes --]



------- Comment #2 from pinskia at gcc dot gnu dot org  2006-10-21 14:31 -------
The code provided here is not valid code at all.
With 4.0.4 and 4.2.0 before the patch I get:
t.cc: In instantiation of ‘MotionSearcher<int, short int, int,
4>::MatchThrottleFloodFillControl’:
t.cc:58:   instantiated from ‘MotionSearcher<int, short int, int, 4>’
t.cc:60:   instantiated from here
t.cc:56: error: no type named ‘Allocator’ in ‘class SetRegion2D<short int,
int>::FloodFillControl’


-- 


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

[Bug c++/29535] [4.1/4.2 Regression] ICE in instantiate_class_template, at cp/pt.c:5728

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2006-10-21 14:34 -------
Created an attachment (id=12470)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12470&action=view)
unreduced testcase from mjpegtools


-- 


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

[Bug c++/29535] [4.1/4.2 Regression] ICE in instantiate_class_template, at cp/pt.c:5728

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2006-10-21 14:38 -------
Add

public:
  typedef int Allocator;

to the SetRegion2D<INDEX,SIZE>::FloodFillControl definition and it becomes
valid.


-- 


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

[Bug c++/29535] [4.1/4.2 Regression] ICE in instantiate_class_template, at cp/pt.c:5728

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2006-10-21 14:58 -------
Reduced testcase:
template <class INDEX> struct SetRegion2D
{
  struct FloodFillControl
  {
    struct Allocator{};
  };
};
template <class PIXEL_TOL, class PIXELINDEX >
struct MotionSearcher {
  typedef SetRegion2D<PIXELINDEX> Region_t;
  MotionSearcher (typename Region_t::FloodFillControl::Allocator
&a_rAllocator);
  MotionSearcher();
};
struct MotionSearcherY 
: MotionSearcher<int, int>{};


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-10-21 14:58:08
               date|                            |


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

[Bug c++/29535] [4.1/4.2 Regression] ICE in instantiate_class_template, at cp/pt.c:5728

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2006-10-23 11:58 -------
Note this is a regression on the 4.1 branch.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |4.1.2 4.2.0
      Known to work|                            |4.1.1


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

[Bug c++/29535] [4.1/4.2/4.3 Regression] ICE in instantiate_class_template, at cp/pt.c:5728

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug c++/29535] [4.1/4.2/4.3 Regression] ICE in instantiate_class_template, at cp/pt.c:5728

[jakub at gcc dot gnu dot org]

------- Comment #7 from jakub at gcc dot gnu dot org  2006-12-30 10:59 -------
Testcase #5 ICEs in instantiate_class_template, the following ICEs in tsubst
the same as the original unreduced testcase:

template <class INDEX> struct SetRegion2D
{
  struct FloodFillControl
  {
    struct Allocator{};
  };
};
template <int DIM, class PIXELINDEX>
struct MotionSearcher
{
 typedef SetRegion2D<PIXELINDEX> Region_t;
 MotionSearcher (typename Region_t::FloodFillControl::Allocator &a_rAllocator);
};
class MotionSearcherY : public MotionSearcher<1, int> {};


-- 


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

[Bug c++/29535] [4.1 Regression] ICE in instantiate_class_template, at cp/pt.c:5728

[jakub at gcc dot gnu dot org]

------- Comment #8 from jakub at gcc dot gnu dot org  2007-01-02 10:16 -------
I should note that this wasn't broken on 4.1 branch with PR28206 change,
but with the PR29020 cp_parser_nested_name_specifier_opt change
that was committed without a ChangeLog entry together in that SVN commit.

And, on 4.2+ branches this was fixed by PR28261 fix (particularly the
cp_lexer_next_token_is_decl_specifier_keyword addition and its use in
cp_parser_constructor_declarator_p).  Mark's mail
http://gcc.gnu.org/ml/gcc-patches/2006-10/msg00877.html
says:
"I will apply to the 4.1 branch when testing completes."
but that apparently never happened.  I can bootstrap/regtest it now.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |28261
OtherBugsDependingO|28506                       |29020
              nThis|                            |
      Known to fail|4.1.2 4.2.0                 |4.1.2
      Known to work|4.1.1                       |4.1.1 4.2.0 4.3.0
            Summary|[4.1/4.2/4.3 Regression] ICE|[4.1 Regression] ICE in
                   |in                          |instantiate_class_template,
                   |instantiate_class_template, |at cp/pt.c:5728
                   |at cp/pt.c:5728             |


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

[Bug c++/29535] [4.1 Regression] ICE in instantiate_class_template, at cp/pt.c:5728

[jakub at gcc dot gnu dot org]

------- Comment #9 from jakub at gcc dot gnu dot org  2007-01-03 08:03 -------
Subject: Bug 29535

Author: jakub
Date: Wed Jan  3 08:03:26 2007
New Revision: 120385

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=120385
Log:
        PR c++/29535
        * g++.dg/template/crash66.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/template/crash66.C
Modified:
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/29535] [4.1 Regression] ICE in instantiate_class_template, at cp/pt.c:5728

[jakub at gcc dot gnu dot org]

------- Comment #10 from jakub at gcc dot gnu dot org  2007-01-03 08:06 -------
Subject: Bug 29535

Author: jakub
Date: Wed Jan  3 08:06:42 2007
New Revision: 120389

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=120389
Log:
        PR c++/29535
        * g++.dg/template/crash66.C: New test.

Added:
    branches/gcc-4_2-branch/gcc/testsuite/g++.dg/template/crash66.C
Modified:
    branches/gcc-4_2-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/29535] [4.1 Regression] ICE in instantiate_class_template, at cp/pt.c:5728

[jakub at gcc dot gnu dot org]

------- Comment #11 from jakub at gcc dot gnu dot org  2007-01-03 08:14 -------
Subject: Bug 29535

Author: jakub
Date: Wed Jan  3 08:13:50 2007
New Revision: 120392

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=120392
Log:
        PR c++/29535
        Backported from mainline
        2006-10-17  Mark Mitchell  <mark@codesourcery.com>
        PR c++/28261
        * parser.c (cp_lexer_next_token_is_decl_specifier_keyword): New
        function.
        (cp_parser_constructor_declarator_p): Use it.
        (cp_parser_check_type_definition): Return a value indicating
        whether or not the definition is valid.
        (cp_parser_enum_specifier): Skip invalid enum definitions.

        PR c++/28261
        * g++.dg/parse/enum3.C: New test.

        PR c++/29535
        * g++.dg/template/crash66.C: New test.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/parse/enum3.C
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/template/crash66.C
Modified:
    branches/gcc-4_1-branch/gcc/cp/ChangeLog
    branches/gcc-4_1-branch/gcc/cp/parser.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/29535] [4.1 Regression] ICE in instantiate_class_template, at cp/pt.c:5728

[jakub at gcc dot gnu dot org]

------- Comment #12 from jakub at gcc dot gnu dot org  2007-01-03 08:17 -------
Fixed.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
      Known to fail|4.1.2                       |
      Known to work|4.1.1 4.2.0 4.3.0           |4.1.1 4.1.2 4.2.0 4.3.0
         Resolution|                            |FIXED


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