public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/14500] New: most specialized function template vs. non-template function
@ 2004-03-09 4:51 bkoz at gcc dot gnu dot org
2004-03-09 5:18 ` [Bug c++/14500] " bangerth at dealii dot org
` (24 more replies)
0 siblings, 25 replies; 26+ messages in thread
From: bkoz at gcc dot gnu dot org @ 2004-03-09 4:51 UTC (permalink / raw)
To: gcc-bugs
While working on c++/13658, I ran into divergent behavior between icc 7.1 and g++.
I think g++ is wrong, and that in the code below, the explicitly specialized
function template is the most specialized function, and should be called.
By removing the template specialization syntax (ie "template<>"), and trying
again, I get something that is considered the most specialized. But, why this
and not the other?
-benjamin
#include <vector>
#include <cassert>
#define VERIFY assert
struct T { int i; };
int swap_calls;
namespace std
{
// Should be most specialized.
#if 1
template<>
#endif
inline void
swap(vector<T, allocator<T> >&, vector<T, allocator<T> >&)
{ ++swap_calls; }
}
void test01()
{
bool test __attribute__((unused)) = true;
std::vector<T> A;
std::vector<T> B;
swap_calls = 0;
std::swap(A, B);
VERIFY(1 == swap_calls); // XXX fails
}
void test02()
{
bool test __attribute__((unused)) = true;
using namespace std;
vector<T> A;
vector<T> B;
swap_calls = 0;
swap(A, B);
VERIFY(1 == swap_calls);
}
int main()
{
test01();
test02();
return 0;
}
--
Summary: most specialized function template vs. non-template
function
Product: gcc
Version: 3.5.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: bkoz at gcc dot gnu dot org
CC: gcc-bugs at gcc dot gnu dot org
GCC build triplet: i686-pc-linux-gnu
GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
@ 2004-03-09 5:18 ` bangerth at dealii dot org
2004-03-09 7:13 ` [Bug c++/14500] New: " Gabriel Dos Reis
` (23 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: bangerth at dealii dot org @ 2004-03-09 5:18 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From bangerth at dealii dot org 2004-03-09 05:18 -------
Hm, I have a hard time understanding what's going on. Would you
mind posting a self-contained example that doesn't make use
of odd include files that contain using namespace stuff?
W.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
2004-03-09 5:18 ` [Bug c++/14500] " bangerth at dealii dot org
2004-03-09 7:13 ` [Bug c++/14500] New: " Gabriel Dos Reis
@ 2004-03-09 7:13 ` gdr at integrable-solutions dot net
2004-03-09 7:21 ` gdr at integrable-solutions dot net
` (21 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: gdr at integrable-solutions dot net @ 2004-03-09 7:13 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From gdr at integrable-solutions dot net 2004-03-09 07:13 -------
Subject: Re: New: most specialized function template vs. non-template function
"bkoz at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:
| While working on c++/13658, I ran into divergent behavior between
| icc 7.1 and g++.
|
| I think g++ is wrong, and that in the code below, the explicitly specialized
| function template is the most specialized function, and should be called.
It looks to me that this is an interaction between "strong using" and
specializations: The most specialized swap() (for vector<>) leaves in
__gnu_norm:: whereas the most general leaves in std::. Therefore, when
you explicitly specialize, the compiler just considers the template in
std:: and forgets about the other one in __gnu_norm::; therefore it
thinks that you're specializing the one in std::. Which is wrong.
It should have collected all swap() reachable through strongly used
namespaces. (Recall that strong using says for all purposes except
mangling, everything is the same).
| By removing the template specialization syntax (ie "template<>"), and trying
| again, I get something that is considered the most specialized. But, why this
| and not the other?
When you remove the explicit specialization marker, you're overloading
with an *ordinary* function and overload resolution prefers
non-templates over templates when given equal chances.
-- Gaby
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* Re: [Bug c++/14500] New: most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
2004-03-09 5:18 ` [Bug c++/14500] " bangerth at dealii dot org
@ 2004-03-09 7:13 ` Gabriel Dos Reis
2004-03-09 7:13 ` [Bug c++/14500] " gdr at integrable-solutions dot net
` (22 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: Gabriel Dos Reis @ 2004-03-09 7:13 UTC (permalink / raw)
To: gcc-bugzilla; +Cc: gcc-bugs
"bkoz at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:
| While working on c++/13658, I ran into divergent behavior between
| icc 7.1 and g++.
|
| I think g++ is wrong, and that in the code below, the explicitly specialized
| function template is the most specialized function, and should be called.
It looks to me that this is an interaction between "strong using" and
specializations: The most specialized swap() (for vector<>) leaves in
__gnu_norm:: whereas the most general leaves in std::. Therefore, when
you explicitly specialize, the compiler just considers the template in
std:: and forgets about the other one in __gnu_norm::; therefore it
thinks that you're specializing the one in std::. Which is wrong.
It should have collected all swap() reachable through strongly used
namespaces. (Recall that strong using says for all purposes except
mangling, everything is the same).
| By removing the template specialization syntax (ie "template<>"), and trying
| again, I get something that is considered the most specialized. But, why this
| and not the other?
When you remove the explicit specialization marker, you're overloading
with an *ordinary* function and overload resolution prefers
non-templates over templates when given equal chances.
-- Gaby
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (2 preceding siblings ...)
2004-03-09 7:13 ` [Bug c++/14500] " gdr at integrable-solutions dot net
@ 2004-03-09 7:21 ` gdr at integrable-solutions dot net
2004-03-09 14:34 ` pcarlini at suse dot de
` (20 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: gdr at integrable-solutions dot net @ 2004-03-09 7:21 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From gdr at integrable-solutions dot net 2004-03-09 07:21 -------
Subject: Re: most specialized function template vs. non-template function
"bangerth at dealii dot org" <gcc-bugzilla@gcc.gnu.org> writes:
| ------- Additional Comments From bangerth at dealii dot org 2004-03-09 05:18 -------
| Hm, I have a hard time understanding what's going on. Would you
| mind posting a self-contained example that doesn't make use
| of odd include files that contain using namespace stuff?
Try with this:
namespace A {
template<class T> X { };
template<class T>
void f(X<T>&); // #1
}
namespace B {
using namespace A __attribute__((trustme));
template<class T>
void f(T&); // #2
}
struct foo { };
namespace B {
template<>
void(X<foo>&); // #3
}
B::X<int> x;
B::f(x); // calls #2 instead of #3
-- Gaby
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (3 preceding siblings ...)
2004-03-09 7:21 ` gdr at integrable-solutions dot net
@ 2004-03-09 14:34 ` pcarlini at suse dot de
2004-03-09 16:34 ` bkoz at redhat dot com
` (19 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: pcarlini at suse dot de @ 2004-03-09 14:34 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pcarlini at suse dot de 2004-03-09 14:34 -------
Is c++/13294 "strongly related" ;) ?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (4 preceding siblings ...)
2004-03-09 14:34 ` pcarlini at suse dot de
@ 2004-03-09 16:34 ` bkoz at redhat dot com
2004-03-10 12:23 ` giovannibajo at libero dot it
` (18 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: bkoz at redhat dot com @ 2004-03-09 16:34 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From bkoz at redhat dot com 2004-03-09 16:34 -------
Subject: Re: most specialized function template vs.
non-template function
>It looks to me that this is an interaction between "strong using" and
>specializations: The most specialized swap() (for vector<>) leaves in
>__gnu_norm:: whereas the most general leaves in std::. Therefore, when
>you explicitly specialize, the compiler just considers the template in
>std:: and forgets about the other one in __gnu_norm::; therefore it
>thinks that you're specializing the one in std::. Which is wrong.
>It should have collected all swap() reachable through strongly used
>namespaces. (Recall that strong using says for all purposes except
>mangling, everything is the same).
Ok, that's what I thought too. Thanks for the clarification, and the
smaller testcase.
-benjamin
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (5 preceding siblings ...)
2004-03-09 16:34 ` bkoz at redhat dot com
@ 2004-03-10 12:23 ` giovannibajo at libero dot it
2004-03-10 12:28 ` giovannibajo at libero dot it
` (17 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: giovannibajo at libero dot it @ 2004-03-10 12:23 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From giovannibajo at libero dot it 2004-03-10 12:23 -------
Surely related to PR 13294, which is targeted at 3.4.0.
--
What |Removed |Added
----------------------------------------------------------------------------
BugsThisDependsOn| |13294
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (6 preceding siblings ...)
2004-03-10 12:23 ` giovannibajo at libero dot it
@ 2004-03-10 12:28 ` giovannibajo at libero dot it
2004-03-10 15:21 ` gdr at integrable-solutions dot net
` (16 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: giovannibajo at libero dot it @ 2004-03-10 12:28 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From giovannibajo at libero dot it 2004-03-10 12:28 -------
Gaby, I tried your testcase with mainline, but the code does call your function
#3. If I change the attribute to be "strong", then function #1 is called. Is
this the bug? I don't know the semantics of strong using.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (7 preceding siblings ...)
2004-03-10 12:28 ` giovannibajo at libero dot it
@ 2004-03-10 15:21 ` gdr at integrable-solutions dot net
2004-03-31 2:28 ` pinskia at gcc dot gnu dot org
` (15 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: gdr at integrable-solutions dot net @ 2004-03-10 15:21 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From gdr at integrable-solutions dot net 2004-03-10 15:21 -------
Subject: Re: most specialized function template vs. non-template function
"giovannibajo at libero dot it" <gcc-bugzilla@gcc.gnu.org> writes:
| Gaby, I tried your testcase with mainline, but the code does call
| your function #3. If I change the attribute to be "strong", then
| function #1 is called. Is this the bug? I don't know the semantics
| of strong using.
If that happens then we have a double bug :-)
Yes, the testcasse for the bug is what happens when you use "strong"
in the attribute.
(Sorry, I should not have been testing a fine point made by Jason a
while ago).
Thanks for experimenting and correcting the testcase..
-- Gaby
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (8 preceding siblings ...)
2004-03-10 15:21 ` gdr at integrable-solutions dot net
@ 2004-03-31 2:28 ` pinskia at gcc dot gnu dot org
2004-04-04 3:00 ` jason at gcc dot gnu dot org
` (14 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-03-31 2:28 UTC (permalink / raw)
To: gcc-bugs
--
Bug 14500 depends on bug 13294, which changed state.
Bug 13294 Summary: [3.4 Regression] namespace associations vs. specializations
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13294
What |Old Value |New Value
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (9 preceding siblings ...)
2004-03-31 2:28 ` pinskia at gcc dot gnu dot org
@ 2004-04-04 3:00 ` jason at gcc dot gnu dot org
2004-04-04 3:01 ` jason at gcc dot gnu dot org
` (13 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: jason at gcc dot gnu dot org @ 2004-04-04 3:00 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2004-04-04 03:00:26
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (10 preceding siblings ...)
2004-04-04 3:00 ` jason at gcc dot gnu dot org
@ 2004-04-04 3:01 ` jason at gcc dot gnu dot org
2004-04-05 23:08 ` jason at gcc dot gnu dot org
` (12 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: jason at gcc dot gnu dot org @ 2004-04-04 3:01 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |jason at gcc dot gnu dot org
AssignedTo|unassigned at gcc dot gnu |jason at gcc dot gnu dot org
|dot org |
Status|NEW |ASSIGNED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (11 preceding siblings ...)
2004-04-04 3:01 ` jason at gcc dot gnu dot org
@ 2004-04-05 23:08 ` jason at gcc dot gnu dot org
2004-04-05 23:16 ` bkoz at redhat dot com
` (11 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: jason at gcc dot gnu dot org @ 2004-04-05 23:08 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From jason at gcc dot gnu dot org 2004-04-05 23:08 -------
I've attached a patch for this bug, which I haven't been able to fully test
because I'm on vacation. It would be nice to get this into 3.4.0, since it's a
significant lack of functionality in strong using, but it could wait for 3.4.1.
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |mark at codesourcery dot com
Target Milestone|--- |3.4.1
Version|3.5.0 |3.4.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (12 preceding siblings ...)
2004-04-05 23:08 ` jason at gcc dot gnu dot org
@ 2004-04-05 23:16 ` bkoz at redhat dot com
2004-04-05 23:20 ` jason at gcc dot gnu dot org
` (10 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: bkoz at redhat dot com @ 2004-04-05 23:16 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From bkoz at redhat dot com 2004-04-05 23:16 -------
Subject: Re: most specialized function template vs.
non-template function
>I've attached a patch for this bug, which I haven't been able to fully test
>because I'm on vacation. It would be nice to get this into 3.4.0, since it's a
>significant lack of functionality in strong using, but it could wait for 3.4.1.
I've tested this, and it looks like there are a couple of new failures.
FAIL: g++.dg/template/lookup5.C (test for excess errors)
FAIL: g++.old-deja/g++.ns/template12.C (test for excess errors)
FAIL: g++.old-deja/g++.ns/template13.C (test for excess errors)
FAIL: g++.old-deja/g++.pt/lookup10.C (test for excess errors)
Where the errors are:
FAIL: g++.dg/template/lookup5.C (test for excess errors)
Excess errors:
/mnt/hd/src/gcc/gcc/testsuite/g++.dg/template/lookup5.C:8: error: specializing `void N::f(T) [with T = int]' in different namespace
/mnt/hd/src/gcc/gcc/testsuite/g++.dg/template/lookup5.C:4: error: from definition of `template<class T> void N::f(T)'
-benjamin
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (13 preceding siblings ...)
2004-04-05 23:16 ` bkoz at redhat dot com
@ 2004-04-05 23:20 ` jason at gcc dot gnu dot org
2004-04-08 20:42 ` jason at redhat dot com
` (9 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: jason at gcc dot gnu dot org @ 2004-04-05 23:20 UTC (permalink / raw)
To: gcc-bugs
--
Bug 14500 depends on bug 13294, which changed state.
Bug 13294 Summary: [3.4 Regression] namespace associations vs. specializations
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13294
What |Old Value |New Value
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|FIXED |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (14 preceding siblings ...)
2004-04-05 23:20 ` jason at gcc dot gnu dot org
@ 2004-04-08 20:42 ` jason at redhat dot com
2004-04-14 21:44 ` jason at gcc dot gnu dot org
` (8 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: jason at redhat dot com @ 2004-04-08 20:42 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From jason at redhat dot com 2004-04-08 20:42 -------
Subject: Re: most specialized function template vs.
non-template function
On 8 Apr 2004 19:59:47 -0000, "bkoz at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> wrote:
> The other implementation of namespace association, EDG, had a similar
> error to g++ pre patch. Should we ask Daveed for his opinion on this?
I'm sure EDG was just trying to be compatible with us.
Jason
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (15 preceding siblings ...)
2004-04-08 20:42 ` jason at redhat dot com
@ 2004-04-14 21:44 ` jason at gcc dot gnu dot org
2004-04-15 11:38 ` giovannibajo at libero dot it
` (7 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: jason at gcc dot gnu dot org @ 2004-04-14 21:44 UTC (permalink / raw)
To: gcc-bugs
--
Bug 14500 depends on bug 13294, which changed state.
Bug 13294 Summary: [3.4 Regression] namespace associations vs. specializations
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13294
What |Old Value |New Value
----------------------------------------------------------------------------
Status|REOPENED |RESOLVED
Resolution| |WONTFIX
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (16 preceding siblings ...)
2004-04-14 21:44 ` jason at gcc dot gnu dot org
@ 2004-04-15 11:38 ` giovannibajo at libero dot it
2004-04-15 22:58 ` jason at redhat dot com
` (6 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: giovannibajo at libero dot it @ 2004-04-15 11:38 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From giovannibajo at libero dot it 2004-04-15 09:45 -------
Jason, given the resolution of PR 13294, what is your position on this bug?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (17 preceding siblings ...)
2004-04-15 11:38 ` giovannibajo at libero dot it
@ 2004-04-15 22:58 ` jason at redhat dot com
2004-06-12 21:51 ` mmitchel at gcc dot gnu dot org
` (5 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: jason at redhat dot com @ 2004-04-15 22:58 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From jason at redhat dot com 2004-04-15 20:55 -------
Subject: Re: most specialized function template vs.
non-template function
On 15 Apr 2004 09:45:46 -0000, "giovannibajo at libero dot it" <gcc-bugzilla@gcc.gnu.org> wrote:
> Jason, given the resolution of PR 13294, what is your position on this bug?
It's still a bug, but it's not worth blocking 3.4.0 for.
Jason
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (18 preceding siblings ...)
2004-04-15 22:58 ` jason at redhat dot com
@ 2004-06-12 21:51 ` mmitchel at gcc dot gnu dot org
2004-08-29 18:55 ` mmitchel at gcc dot gnu dot org
` (4 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2004-06-12 21:51 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From mmitchel at gcc dot gnu dot org 2004-06-12 21:51 -------
Postponed until GCC 3.4.2.
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|3.4.1 |3.4.2
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (19 preceding siblings ...)
2004-06-12 21:51 ` mmitchel at gcc dot gnu dot org
@ 2004-08-29 18:55 ` mmitchel at gcc dot gnu dot org
2004-11-01 0:46 ` mmitchel at gcc dot gnu dot org
` (3 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2004-08-29 18:55 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From mmitchel at gcc dot gnu dot org 2004-08-29 18:51 -------
Postponed until GCC 3.4.3.
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|3.4.2 |3.4.3
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (20 preceding siblings ...)
2004-08-29 18:55 ` mmitchel at gcc dot gnu dot org
@ 2004-11-01 0:46 ` mmitchel at gcc dot gnu dot org
2005-02-22 0:12 ` pinskia at gcc dot gnu dot org
` (2 subsequent siblings)
24 siblings, 0 replies; 26+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2004-11-01 0:46 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From mmitchel at gcc dot gnu dot org 2004-11-01 00:45 -------
Postponed until GCC 3.4.4.
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|3.4.3 |3.4.4
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (21 preceding siblings ...)
2004-11-01 0:46 ` mmitchel at gcc dot gnu dot org
@ 2005-02-22 0:12 ` pinskia at gcc dot gnu dot org
2005-05-19 17:30 ` mmitchel at gcc dot gnu dot org
2005-07-23 22:35 ` bangerth at dealii dot org
24 siblings, 0 replies; 26+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-02-22 0:12 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-02-21 21:08 -------
Any news on this?
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |pinskia at gcc dot gnu dot
| |org
Last reconfirmed|2004-04-04 03:00:26 |2005-02-21 21:08:31
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (22 preceding siblings ...)
2005-02-22 0:12 ` pinskia at gcc dot gnu dot org
@ 2005-05-19 17:30 ` mmitchel at gcc dot gnu dot org
2005-07-23 22:35 ` bangerth at dealii dot org
24 siblings, 0 replies; 26+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2005-05-19 17:30 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|3.4.4 |3.4.5
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
* [Bug c++/14500] most specialized function template vs. non-template function
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
` (23 preceding siblings ...)
2005-05-19 17:30 ` mmitchel at gcc dot gnu dot org
@ 2005-07-23 22:35 ` bangerth at dealii dot org
24 siblings, 0 replies; 26+ messages in thread
From: bangerth at dealii dot org @ 2005-07-23 22:35 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From bangerth at dealii dot org 2005-07-23 22:32 -------
Benjamin, what's the status on this now?
W.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14500
^ permalink raw reply [flat|nested] 26+ messages in thread
end of thread, other threads:[~2005-07-23 22:33 UTC | newest]
Thread overview: 26+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-03-09 4:51 [Bug c++/14500] New: most specialized function template vs. non-template function bkoz at gcc dot gnu dot org
2004-03-09 5:18 ` [Bug c++/14500] " bangerth at dealii dot org
2004-03-09 7:13 ` [Bug c++/14500] New: " Gabriel Dos Reis
2004-03-09 7:13 ` [Bug c++/14500] " gdr at integrable-solutions dot net
2004-03-09 7:21 ` gdr at integrable-solutions dot net
2004-03-09 14:34 ` pcarlini at suse dot de
2004-03-09 16:34 ` bkoz at redhat dot com
2004-03-10 12:23 ` giovannibajo at libero dot it
2004-03-10 12:28 ` giovannibajo at libero dot it
2004-03-10 15:21 ` gdr at integrable-solutions dot net
2004-03-31 2:28 ` pinskia at gcc dot gnu dot org
2004-04-04 3:00 ` jason at gcc dot gnu dot org
2004-04-04 3:01 ` jason at gcc dot gnu dot org
2004-04-05 23:08 ` jason at gcc dot gnu dot org
2004-04-05 23:16 ` bkoz at redhat dot com
2004-04-05 23:20 ` jason at gcc dot gnu dot org
2004-04-08 20:42 ` jason at redhat dot com
2004-04-14 21:44 ` jason at gcc dot gnu dot org
2004-04-15 11:38 ` giovannibajo at libero dot it
2004-04-15 22:58 ` jason at redhat dot com
2004-06-12 21:51 ` mmitchel at gcc dot gnu dot org
2004-08-29 18:55 ` mmitchel at gcc dot gnu dot org
2004-11-01 0:46 ` mmitchel at gcc dot gnu dot org
2005-02-22 0:12 ` pinskia at gcc dot gnu dot org
2005-05-19 17:30 ` mmitchel at gcc dot gnu dot org
2005-07-23 22:35 ` bangerth at dealii 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).