public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/35282] [4.3/4.4 regression] Template specialization rejected
2008-02-21 21:27 [Bug c++/35282] New: [4.3/4.4 regression] Template specialization rejected reichelt at gcc dot gnu dot org
@ 2008-02-21 21:27 ` reichelt at gcc dot gnu dot org
2008-02-21 22:26 ` pcarlini at suse dot de
` (9 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: reichelt at gcc dot gnu dot org @ 2008-02-21 21:27 UTC (permalink / raw)
To: gcc-bugs
--
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=35282
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/35282] New: [4.3/4.4 regression] Template specialization rejected
@ 2008-02-21 21:27 reichelt at gcc dot gnu dot org
2008-02-21 21:27 ` [Bug c++/35282] " reichelt at gcc dot gnu dot org
` (10 more replies)
0 siblings, 11 replies; 12+ messages in thread
From: reichelt at gcc dot gnu dot org @ 2008-02-21 21:27 UTC (permalink / raw)
To: gcc-bugs
The following valid testcase is rejected on mainline and 4.3 branch:
=================================================
template<int> struct A
{
template<int> void foo();
};
template<> template<int> void A<0>::foo() {}
=================================================
The regression was introduced between 2008-02-12 and 2008-02-15.
Paolo, this is probably fallout from your patch
PR c++/28743
* pt.c (determine_specialization): In case of function templates,
when the type of DECL does not match FN there is no match.
The problem is related to PR14494.
--
Summary: [4.3/4.4 regression] Template specialization rejected
Product: gcc
Version: 4.4.0
Status: UNCONFIRMED
Keywords: rejects-valid, monitored
Severity: normal
Priority: P3
Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: reichelt at gcc dot gnu dot org
OtherBugsDependingO 14494
nThis:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35282
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/35282] [4.3/4.4 regression] Template specialization rejected
2008-02-21 21:27 [Bug c++/35282] New: [4.3/4.4 regression] Template specialization rejected reichelt at gcc dot gnu dot org
2008-02-21 21:27 ` [Bug c++/35282] " reichelt at gcc dot gnu dot org
@ 2008-02-21 22:26 ` pcarlini at suse dot de
2008-02-21 23:14 ` pcarlini at suse dot de
` (8 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: pcarlini at suse dot de @ 2008-02-21 22:26 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from pcarlini at suse dot de 2008-02-21 22:25 -------
Please double check, but I don't think it's my patch: I tried quickly reverting
it and interestingly nothing changes: 28743 doesn't ICE and this one is
rejected. It seems something new is going on in this area... Maybe Janis can
help with a regression hunt.
--
pcarlini at suse dot de changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |janis at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35282
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/35282] [4.3/4.4 regression] Template specialization rejected
2008-02-21 21:27 [Bug c++/35282] New: [4.3/4.4 regression] Template specialization rejected reichelt at gcc dot gnu dot org
2008-02-21 21:27 ` [Bug c++/35282] " reichelt at gcc dot gnu dot org
2008-02-21 22:26 ` pcarlini at suse dot de
@ 2008-02-21 23:14 ` pcarlini at suse dot de
2008-02-22 9:42 ` jakub at gcc dot gnu dot org
` (7 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: pcarlini at suse dot de @ 2008-02-21 23:14 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from pcarlini at suse dot de 2008-02-21 23:13 -------
Never mind, I did something wrong in my quick check. I can confirm it's my
patch. I'll try to look a bit into it, but beyond reverting it, I cannot
promise to be able to fix the present issue without regressing on 28743...
--
pcarlini at suse dot de changed:
What |Removed |Added
----------------------------------------------------------------------------
CC|janis at gcc dot gnu dot org|
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2008-02-21 23:13:46
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35282
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/35282] [4.3/4.4 regression] Template specialization rejected
2008-02-21 21:27 [Bug c++/35282] New: [4.3/4.4 regression] Template specialization rejected reichelt at gcc dot gnu dot org
` (2 preceding siblings ...)
2008-02-21 23:14 ` pcarlini at suse dot de
@ 2008-02-22 9:42 ` jakub at gcc dot gnu dot org
2008-02-22 9:49 ` pcarlini at suse dot de
` (6 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: jakub at gcc dot gnu dot org @ 2008-02-22 9:42 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from jakub at gcc dot gnu dot org 2008-02-22 09:41 -------
Even the extra error in nontype16.C is IMHO wrong.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35282
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/35282] [4.3/4.4 regression] Template specialization rejected
2008-02-21 21:27 [Bug c++/35282] New: [4.3/4.4 regression] Template specialization rejected reichelt at gcc dot gnu dot org
` (3 preceding siblings ...)
2008-02-22 9:42 ` jakub at gcc dot gnu dot org
@ 2008-02-22 9:49 ` pcarlini at suse dot de
2008-02-22 9:52 ` jakub at gcc dot gnu dot org
` (5 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: pcarlini at suse dot de @ 2008-02-22 9:49 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from pcarlini at suse dot de 2008-02-22 09:48 -------
Ok, I'm going to post a patch reverting completely the fix for 28743, and then
we'll see...
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35282
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/35282] [4.3/4.4 regression] Template specialization rejected
2008-02-21 21:27 [Bug c++/35282] New: [4.3/4.4 regression] Template specialization rejected reichelt at gcc dot gnu dot org
` (4 preceding siblings ...)
2008-02-22 9:49 ` pcarlini at suse dot de
@ 2008-02-22 9:52 ` jakub at gcc dot gnu dot org
2008-02-22 10:45 ` rguenth at gcc dot gnu dot org
` (4 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: jakub at gcc dot gnu dot org @ 2008-02-22 9:52 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from jakub at gcc dot gnu dot org 2008-02-22 09:51 -------
For 4.3, guess ice-on-invalid is more acceptable than rejects-valid, unless we
have a real fix RSN, though I'll let Jason/Mark to decide.
We have everything else what I was waiting for on gcc-4_3-branch, so if we can
get this resolved either way today, the rc can be released.
--
jakub at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mmitchel at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35282
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/35282] [4.3/4.4 regression] Template specialization rejected
2008-02-21 21:27 [Bug c++/35282] New: [4.3/4.4 regression] Template specialization rejected reichelt at gcc dot gnu dot org
` (5 preceding siblings ...)
2008-02-22 9:52 ` jakub at gcc dot gnu dot org
@ 2008-02-22 10:45 ` rguenth at gcc dot gnu dot org
2008-02-22 11:03 ` paolo at gcc dot gnu dot org
` (3 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-02-22 10:45 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from rguenth at gcc dot gnu dot org 2008-02-22 10:44 -------
IMHO reverting the fix for PR28743 is the way to go (Paolo, you don't need
approval for reverting a patch of your own).
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35282
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/35282] [4.3/4.4 regression] Template specialization rejected
2008-02-21 21:27 [Bug c++/35282] New: [4.3/4.4 regression] Template specialization rejected reichelt at gcc dot gnu dot org
` (6 preceding siblings ...)
2008-02-22 10:45 ` rguenth at gcc dot gnu dot org
@ 2008-02-22 11:03 ` paolo at gcc dot gnu dot org
2008-02-22 11:04 ` paolo at gcc dot gnu dot org
` (2 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: paolo at gcc dot gnu dot org @ 2008-02-22 11:03 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from paolo at gcc dot gnu dot org 2008-02-22 11:02 -------
Subject: Bug 35282
Author: paolo
Date: Fri Feb 22 11:02:00 2008
New Revision: 132543
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132543
Log:
/testsuite
2008-02-22 Paolo Carlini <pcarlini@suse.de>
PR c++/35282
* g++.dg/template/nontype17.C: Add.
/cp
2008-02-22 Paolo Carlini <pcarlini@suse.de>
PR c++/35282
Revert:
2008-02-14 Paolo Carlini <pcarlini@suse.de>
PR c++/28743
* pt.c (determine_specialization): In case of function templates,
when the type of DECL does not match FN there is no match.
/testsuite
2008-02-22 Paolo Carlini <pcarlini@suse.de>
PR c++/35282
Revert:
2008-02-14 Paolo Carlini <pcarlini@suse.de>
PR c++/28743
* g++.dg/template/nontype17.C: New.
* g++.dg/template/nontype16.C: Add error.
Added:
trunk/gcc/testsuite/g++.dg/template/nontype17.C
Modified:
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/pt.c
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/g++.dg/template/nontype16.C
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35282
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/35282] [4.3/4.4 regression] Template specialization rejected
2008-02-21 21:27 [Bug c++/35282] New: [4.3/4.4 regression] Template specialization rejected reichelt at gcc dot gnu dot org
` (8 preceding siblings ...)
2008-02-22 11:04 ` paolo at gcc dot gnu dot org
@ 2008-02-22 11:04 ` paolo at gcc dot gnu dot org
2008-02-22 11:06 ` pcarlini at suse dot de
10 siblings, 0 replies; 12+ messages in thread
From: paolo at gcc dot gnu dot org @ 2008-02-22 11:04 UTC (permalink / raw)
To: gcc-bugs
------- Comment #8 from paolo at gcc dot gnu dot org 2008-02-22 11:03 -------
Subject: Bug 35282
Author: paolo
Date: Fri Feb 22 11:02:31 2008
New Revision: 132544
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132544
Log:
/testsuite
2008-02-22 Paolo Carlini <pcarlini@suse.de>
PR c++/35282
* g++.dg/template/nontype17.C: Add.
/cp
2008-02-22 Paolo Carlini <pcarlini@suse.de>
PR c++/35282
Revert:
2008-02-14 Paolo Carlini <pcarlini@suse.de>
PR c++/28743
* pt.c (determine_specialization): In case of function templates,
when the type of DECL does not match FN there is no match.
/testsuite
2008-02-22 Paolo Carlini <pcarlini@suse.de>
PR c++/35282
Revert:
2008-02-14 Paolo Carlini <pcarlini@suse.de>
PR c++/28743
* g++.dg/template/nontype17.C: New.
* g++.dg/template/nontype16.C: Add error.
Modified:
branches/gcc-4_3-branch/gcc/cp/ChangeLog
branches/gcc-4_3-branch/gcc/cp/pt.c
branches/gcc-4_3-branch/gcc/testsuite/g++.dg/template/nontype16.C
branches/gcc-4_3-branch/gcc/testsuite/g++.dg/template/nontype17.C
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35282
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/35282] [4.3/4.4 regression] Template specialization rejected
2008-02-21 21:27 [Bug c++/35282] New: [4.3/4.4 regression] Template specialization rejected reichelt at gcc dot gnu dot org
` (7 preceding siblings ...)
2008-02-22 11:03 ` paolo at gcc dot gnu dot org
@ 2008-02-22 11:04 ` paolo at gcc dot gnu dot org
2008-02-22 11:04 ` paolo at gcc dot gnu dot org
2008-02-22 11:06 ` pcarlini at suse dot de
10 siblings, 0 replies; 12+ messages in thread
From: paolo at gcc dot gnu dot org @ 2008-02-22 11:04 UTC (permalink / raw)
To: gcc-bugs
------- Comment #9 from paolo at gcc dot gnu dot org 2008-02-22 11:04 -------
Subject: Bug 35282
Author: paolo
Date: Fri Feb 22 11:03:17 2008
New Revision: 132545
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132545
Log:
/testsuite
2008-02-22 Paolo Carlini <pcarlini@suse.de>
PR c++/35282
* g++.dg/template/nontype17.C: Add.
/cp
2008-02-22 Paolo Carlini <pcarlini@suse.de>
PR c++/35282
Revert:
2008-02-14 Paolo Carlini <pcarlini@suse.de>
PR c++/28743
* pt.c (determine_specialization): In case of function templates,
when the type of DECL does not match FN there is no match.
/testsuite
2008-02-22 Paolo Carlini <pcarlini@suse.de>
PR c++/35282
Revert:
2008-02-14 Paolo Carlini <pcarlini@suse.de>
PR c++/28743
* g++.dg/template/nontype17.C: New.
* g++.dg/template/nontype16.C: Add error.
Modified:
branches/gcc-4_3-branch/gcc/testsuite/ChangeLog
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35282
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug c++/35282] [4.3/4.4 regression] Template specialization rejected
2008-02-21 21:27 [Bug c++/35282] New: [4.3/4.4 regression] Template specialization rejected reichelt at gcc dot gnu dot org
` (9 preceding siblings ...)
2008-02-22 11:04 ` paolo at gcc dot gnu dot org
@ 2008-02-22 11:06 ` pcarlini at suse dot de
10 siblings, 0 replies; 12+ messages in thread
From: pcarlini at suse dot de @ 2008-02-22 11:06 UTC (permalink / raw)
To: gcc-bugs
------- Comment #10 from pcarlini at suse dot de 2008-02-22 11:05 -------
Fixed.
--
pcarlini at suse dot de changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35282
^ permalink raw reply [flat|nested] 12+ messages in thread
end of thread, other threads:[~2008-02-22 11:06 UTC | newest]
Thread overview: 12+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-02-21 21:27 [Bug c++/35282] New: [4.3/4.4 regression] Template specialization rejected reichelt at gcc dot gnu dot org
2008-02-21 21:27 ` [Bug c++/35282] " reichelt at gcc dot gnu dot org
2008-02-21 22:26 ` pcarlini at suse dot de
2008-02-21 23:14 ` pcarlini at suse dot de
2008-02-22 9:42 ` jakub at gcc dot gnu dot org
2008-02-22 9:49 ` pcarlini at suse dot de
2008-02-22 9:52 ` jakub at gcc dot gnu dot org
2008-02-22 10:45 ` rguenth at gcc dot gnu dot org
2008-02-22 11:03 ` paolo at gcc dot gnu dot org
2008-02-22 11:04 ` paolo at gcc dot gnu dot org
2008-02-22 11:04 ` paolo at gcc dot gnu dot org
2008-02-22 11:06 ` pcarlini at suse dot de
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).