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 ` gdr at integrable-solutions dot net
                   ` (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 ` gdr at integrable-solutions dot net
  2004-03-09  7:13 ` [Bug c++/14500] New: " Gabriel Dos Reis
                   ` (22 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 ` gdr at integrable-solutions dot net
@ 2004-03-09  7:13 ` Gabriel Dos Reis
  2004-03-09  7:21 ` [Bug c++/14500] " gdr at integrable-solutions dot net
                   ` (21 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] New: " Gabriel Dos Reis
@ 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 ` [Bug c++/14500] " 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 ` gdr at integrable-solutions dot net
2004-03-09  7:13 ` [Bug c++/14500] New: " Gabriel Dos Reis
2004-03-09  7:21 ` [Bug c++/14500] " 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).