* [Bug c++/13094] ICE in make_unbound_class_template, v 3.4 20031112
2003-11-18 0:00 [Bug c++/13094] New: ICE in make_unbound_class_template, v 3.4 20031112 ron_hylton at hotmail dot com
@ 2003-11-18 0:01 ` ron_hylton at hotmail dot com
2003-11-18 0:02 ` ron_hylton at hotmail dot com
` (9 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: ron_hylton at hotmail dot com @ 2003-11-18 0:01 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From ron_hylton at hotmail dot com 2003-11-18 00:01 -------
Created an attachment (id=5156)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=5156&action=view)
bzip2 compressed test case
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13094
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug c++/13094] ICE in make_unbound_class_template, v 3.4 20031112
2003-11-18 0:00 [Bug c++/13094] New: ICE in make_unbound_class_template, v 3.4 20031112 ron_hylton at hotmail dot com
2003-11-18 0:01 ` [Bug c++/13094] " ron_hylton at hotmail dot com
@ 2003-11-18 0:02 ` ron_hylton at hotmail dot com
2003-11-18 1:48 ` reichelt at gcc dot gnu dot org
` (8 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: ron_hylton at hotmail dot com @ 2003-11-18 0:02 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From ron_hylton at hotmail dot com 2003-11-18 00:02 -------
Created an attachment (id=5157)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=5157&action=view)
failing command output
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13094
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug c++/13094] ICE in make_unbound_class_template, v 3.4 20031112
2003-11-18 0:00 [Bug c++/13094] New: ICE in make_unbound_class_template, v 3.4 20031112 ron_hylton at hotmail dot com
2003-11-18 0:01 ` [Bug c++/13094] " ron_hylton at hotmail dot com
2003-11-18 0:02 ` ron_hylton at hotmail dot com
@ 2003-11-18 1:48 ` reichelt at gcc dot gnu dot org
2003-11-18 16:04 ` lerdsuwa at gcc dot gnu dot org
` (7 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: reichelt at gcc dot gnu dot org @ 2003-11-18 1:48 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From reichelt at gcc dot gnu dot org 2003-11-18 01:47 -------
Confirmed.
Here's a shorter testcase:
=========================================================
template <typename> struct A {};
struct B
{
template <int> struct C {};
};
template <typename> struct D : A< B::template C<0> > {};
=========================================================
Mainline crashes with this snippet and previous versions issue
an error message, although the code is valid IMHO.
By adding "typename" before "B::template C<0>", one can make the code
compile.
The bug is related to PR 11715.
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |reichelt at gcc dot gnu dot
| |org
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
GCC build triplet|i686-pc-cygwin |
GCC host triplet|i686-pc-cygwin |
GCC target triplet|i686-pc-cygwin |
Keywords| |ice-on-valid-code, monitored
Last reconfirmed|0000-00-00 00:00:00 |2003-11-18 01:48:03
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13094
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug c++/13094] ICE in make_unbound_class_template, v 3.4 20031112
2003-11-18 0:00 [Bug c++/13094] New: ICE in make_unbound_class_template, v 3.4 20031112 ron_hylton at hotmail dot com
` (2 preceding siblings ...)
2003-11-18 1:48 ` reichelt at gcc dot gnu dot org
@ 2003-11-18 16:04 ` lerdsuwa at gcc dot gnu dot org
2004-01-03 8:44 ` [Bug c++/13094] Incorrect type-id parsing lerdsuwa at gcc dot gnu dot org
` (6 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: lerdsuwa at gcc dot gnu dot org @ 2003-11-18 16:04 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From lerdsuwa at gcc dot gnu dot org 2003-11-18 16:04 -------
Will look at it.
--
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |lerdsuwa at gcc dot gnu dot
|dot org |org
Status|NEW |ASSIGNED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13094
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug c++/13094] Incorrect type-id parsing
2003-11-18 0:00 [Bug c++/13094] New: ICE in make_unbound_class_template, v 3.4 20031112 ron_hylton at hotmail dot com
` (3 preceding siblings ...)
2003-11-18 16:04 ` lerdsuwa at gcc dot gnu dot org
@ 2004-01-03 8:44 ` lerdsuwa at gcc dot gnu dot org
2004-03-19 10:28 ` reichelt at gcc dot gnu dot org
` (5 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: lerdsuwa at gcc dot gnu dot org @ 2004-01-03 8:44 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From lerdsuwa at gcc dot gnu dot org 2004-01-03 08:43 -------
The ICE is gone. So it's a rejects-valid now.
--
What |Removed |Added
----------------------------------------------------------------------------
Keywords|ice-on-valid-code |rejects-valid
Summary|ICE in |Incorrect type-id parsing
|make_unbound_class_template,|
|v 3.4 20031112 |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13094
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug c++/13094] Incorrect type-id parsing
2003-11-18 0:00 [Bug c++/13094] New: ICE in make_unbound_class_template, v 3.4 20031112 ron_hylton at hotmail dot com
` (4 preceding siblings ...)
2004-01-03 8:44 ` [Bug c++/13094] Incorrect type-id parsing lerdsuwa at gcc dot gnu dot org
@ 2004-03-19 10:28 ` reichelt at gcc dot gnu dot org
2004-03-19 11:29 ` [Bug c++/13094] [3.5 regression] ICE with template-template parameters reichelt at gcc dot gnu dot org
` (4 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: reichelt at gcc dot gnu dot org @ 2004-03-19 10:28 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From reichelt at gcc dot gnu dot org 2004-03-19 10:28 -------
The reduced code snippet now compiles with 3.4.0 and mainline
(as does the related code in PR 11715).
The original testcase still crashes mainline however.
(I'll work on a reduced testcase.)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13094
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug c++/13094] [3.5 regression] ICE with template-template parameters
2003-11-18 0:00 [Bug c++/13094] New: ICE in make_unbound_class_template, v 3.4 20031112 ron_hylton at hotmail dot com
` (5 preceding siblings ...)
2004-03-19 10:28 ` reichelt at gcc dot gnu dot org
@ 2004-03-19 11:29 ` reichelt at gcc dot gnu dot org
2004-03-20 22:31 ` reichelt at gcc dot gnu dot org
` (3 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: reichelt at gcc dot gnu dot org @ 2004-03-19 11:29 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From reichelt at gcc dot gnu dot org 2004-03-19 11:29 -------
Here's a redux for the mainline crash:
====================================================
template <template <int> class T> struct A : T<0>
{
A() {}
};
====================================================
PR13094B.cc:7: internal compiler error: tree check: expected record_type,
union_type or qual_union_type; have bound_template_template_parm in
dfs_unuse_fields, at cp/search.c:2259
Please submit a full bug report, [etc.]
Btw, the original code snippet does not compile with 3.4.0, but this
is because of bugs in the code.
--
What |Removed |Added
----------------------------------------------------------------------------
Severity|normal |critical
Keywords|rejects-valid |ice-on-valid-code
Summary|Incorrect type-id parsing |[3.5 regression] ICE with
| |template-template parameters
Target Milestone|--- |3.5.0
Version|3.4.0 |3.5.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13094
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug c++/13094] [3.5 regression] ICE with template-template parameters
2003-11-18 0:00 [Bug c++/13094] New: ICE in make_unbound_class_template, v 3.4 20031112 ron_hylton at hotmail dot com
` (6 preceding siblings ...)
2004-03-19 11:29 ` [Bug c++/13094] [3.5 regression] ICE with template-template parameters reichelt at gcc dot gnu dot org
@ 2004-03-20 22:31 ` reichelt at gcc dot gnu dot org
2004-03-20 23:38 ` reichelt at gcc dot gnu dot org
` (2 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: reichelt at gcc dot gnu dot org @ 2004-03-20 22:31 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From reichelt at gcc dot gnu dot org 2004-03-20 22:31 -------
The code snippet from comment #7 does compile on mainline as of today,
but the original testcase still crashes. A redux for the new crash is
===============================
void foo()
{
if (x) x=x;
}
===============================
PR13094C.cc: In function `void foo()':
PR13094C.cc:3: error: `x' was not declared in this scope
PR13094C.cc:3: internal compiler error: tree check: expected class 't', have 'x'
(error_mark) in require_complete_type, at cp/typeck.c:100
Please submit a full bug report, [etc.]
--
What |Removed |Added
----------------------------------------------------------------------------
Keywords|ice-on-valid-code |ice-on-invalid-code
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13094
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug c++/13094] [3.5 regression] ICE with template-template parameters
2003-11-18 0:00 [Bug c++/13094] New: ICE in make_unbound_class_template, v 3.4 20031112 ron_hylton at hotmail dot com
` (7 preceding siblings ...)
2004-03-20 22:31 ` reichelt at gcc dot gnu dot org
@ 2004-03-20 23:38 ` reichelt at gcc dot gnu dot org
2004-03-21 17:52 ` mmitchel at gcc dot gnu dot org
2004-05-25 5:10 ` reichelt at gcc dot gnu dot org
10 siblings, 0 replies; 12+ messages in thread
From: reichelt at gcc dot gnu dot org @ 2004-03-20 23:38 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From reichelt at gcc dot gnu dot org 2004-03-20 23:38 -------
The regression in comment #8 was introduced by Mark's patch
http://gcc.gnu.org/ml/gcc-cvs/2004-03/msg00427.html
Mark, could you please have a look?
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |mark at codesourcery dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13094
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug c++/13094] [3.5 regression] ICE with template-template parameters
2003-11-18 0:00 [Bug c++/13094] New: ICE in make_unbound_class_template, v 3.4 20031112 ron_hylton at hotmail dot com
` (8 preceding siblings ...)
2004-03-20 23:38 ` reichelt at gcc dot gnu dot org
@ 2004-03-21 17:52 ` mmitchel at gcc dot gnu dot org
2004-05-25 5:10 ` reichelt at gcc dot gnu dot org
10 siblings, 0 replies; 12+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2004-03-21 17:52 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From mmitchel at gcc dot gnu dot org 2004-03-21 17:52 -------
Mine, but I won't be fixing it until 3.4.0 is out.
--
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|lerdsuwa at gcc dot gnu dot |mark at codesourcery dot com
|org |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13094
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug c++/13094] [3.5 regression] ICE with template-template parameters
2003-11-18 0:00 [Bug c++/13094] New: ICE in make_unbound_class_template, v 3.4 20031112 ron_hylton at hotmail dot com
` (9 preceding siblings ...)
2004-03-21 17:52 ` mmitchel at gcc dot gnu dot org
@ 2004-05-25 5:10 ` reichelt at gcc dot gnu dot org
10 siblings, 0 replies; 12+ messages in thread
From: reichelt at gcc dot gnu dot org @ 2004-05-25 5:10 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From reichelt at gcc dot gnu dot org 2004-05-24 10:36 -------
The testcase from comment #8 is fixed by Roger Sayle's patch
http://gcc.gnu.org/ml/gcc-cvs/2004-05/msg00753.html
The original test case does not ICE any more with 3.4.0 and mainline,
so there's nothing left to do. (As noted before, the error messages one
gets are due to bugs in the code.)
--
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13094
^ permalink raw reply [flat|nested] 12+ messages in thread