public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/13310] Tree check error in dependent_template_p
2003-12-05 1:13 [Bug c++/13310] New: Tree check error in dependent_template_p bangerth at dealii dot org
@ 2003-12-05 1:13 ` bangerth at dealii dot org
2003-12-05 1:33 ` pinskia at gcc dot gnu dot org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: bangerth at dealii dot org @ 2003-12-05 1:13 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |3.4
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13310
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/13310] New: Tree check error in dependent_template_p
@ 2003-12-05 1:13 bangerth at dealii dot org
2003-12-05 1:13 ` [Bug c++/13310] " bangerth at dealii dot org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: bangerth at dealii dot org @ 2003-12-05 1:13 UTC (permalink / raw)
To: gcc-bugs
Playing around with 13306, I find this:
------------------------
template <typename> struct A {
template <typename> void g() {}
};
template <typename> void f() {
A<int> a;
a.f<double>();
}
-------------------------
The code is invalid, because there is no A::f, but instead of an error
we get on present mainline
g/x> /home/bangerth/bin/gcc-3.4-pre/bin/c++ -c x.cc
x.cc: In function `void f()':
x.cc:7: internal compiler error: tree check: expected class 'd', have
'x' (overload) in dependent_template_p, at cp/pt.c:11926
I don't think that's much of a regression since pre-3.4 we silently accepted
this in the absence of two-stage name lookup. It would be nice to have it
fixed for 3.4 anyway, though.
W.
--
Summary: Tree check error in dependent_template_p
Product: gcc
Version: 3.4
Status: UNCONFIRMED
Keywords: ice-on-invalid-code
Severity: normal
Priority: P2
Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: bangerth at dealii dot org
CC: gcc-bugs at gcc dot gnu dot org,ydi at bam-us dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13310
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/13310] Tree check error in dependent_template_p
2003-12-05 1:13 [Bug c++/13310] New: Tree check error in dependent_template_p bangerth at dealii dot org
2003-12-05 1:13 ` [Bug c++/13310] " bangerth at dealii dot org
@ 2003-12-05 1:33 ` pinskia at gcc dot gnu dot org
2003-12-08 2:17 ` reichelt at gcc dot gnu dot org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2003-12-05 1:33 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2003-12-05 01:33 -------
This ICE without checking:
pr13310.cc: In function `void f()':
pr13310.cc:7: internal compiler error: in lookup_member, at cp/search.c:1228
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2003-12-05 01:33:10
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13310
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/13310] Tree check error in dependent_template_p
2003-12-05 1:13 [Bug c++/13310] New: Tree check error in dependent_template_p bangerth at dealii dot org
2003-12-05 1:13 ` [Bug c++/13310] " bangerth at dealii dot org
2003-12-05 1:33 ` pinskia at gcc dot gnu dot org
@ 2003-12-08 2:17 ` reichelt at gcc dot gnu dot org
2003-12-15 21:55 ` cvs-commit at gcc dot gnu dot org
2003-12-15 21:56 ` mmitchel at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: reichelt at gcc dot gnu dot org @ 2003-12-08 2:17 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From reichelt at gcc dot gnu dot org 2003-12-08 02:17 -------
Here's an even simpler testcase:
===============================
struct A {};
template <typename> void foo()
{
A a;
a.foo<int>();
}
===============================
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |reichelt at gcc dot gnu dot
| |org
OtherBugsDependingO| |12944
nThis| |
Keywords| |monitored
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13310
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/13310] Tree check error in dependent_template_p
2003-12-05 1:13 [Bug c++/13310] New: Tree check error in dependent_template_p bangerth at dealii dot org
` (2 preceding siblings ...)
2003-12-08 2:17 ` reichelt at gcc dot gnu dot org
@ 2003-12-15 21:55 ` cvs-commit at gcc dot gnu dot org
2003-12-15 21:56 ` mmitchel at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2003-12-15 21:55 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2003-12-15 21:55 -------
Subject: Bug 13310
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: mmitchel@gcc.gnu.org 2003-12-15 21:55:20
Modified files:
gcc/cp : ChangeLog pt.c
gcc/testsuite : ChangeLog
Added files:
gcc/testsuite/g++.dg/template: crash15.C
Log message:
PR c++/13310
* pt.c (dependent_template_p): Handle OVERLOADs.
PR c++/13310
* g++.dg/template/crash15.C: New test.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.3803&r2=1.3804
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&r1=1.802&r2=1.803
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.3257&r2=1.3258
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/crash15.C.diff?cvsroot=gcc&r1=NONE&r2=1.1
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13310
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug c++/13310] Tree check error in dependent_template_p
2003-12-05 1:13 [Bug c++/13310] New: Tree check error in dependent_template_p bangerth at dealii dot org
` (3 preceding siblings ...)
2003-12-15 21:55 ` cvs-commit at gcc dot gnu dot org
@ 2003-12-15 21:56 ` mmitchel at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2003-12-15 21:56 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From mmitchel at gcc dot gnu dot org 2003-12-15 21:56 -------
Fixed in GCC 3.4.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13310
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2003-12-15 21:56 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-12-05 1:13 [Bug c++/13310] New: Tree check error in dependent_template_p bangerth at dealii dot org
2003-12-05 1:13 ` [Bug c++/13310] " bangerth at dealii dot org
2003-12-05 1:33 ` pinskia at gcc dot gnu dot org
2003-12-08 2:17 ` reichelt at gcc dot gnu dot org
2003-12-15 21:55 ` cvs-commit at gcc dot gnu dot org
2003-12-15 21:56 ` mmitchel at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).