public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/7033] [3.3/3.4 regression] Partial template specializations accepted even if a template parameter is used in a non-deduced context
       [not found] <20020614090601.7033.theodore.papadopoulo@sophia.inria.fr>
@ 2003-06-08 18:47 ` pinskia@physics.uc.edu
  2003-06-11 22:18 ` mmitchel@gcc.gnu.org
                   ` (3 subsequent siblings)
  4 siblings, 0 replies; 5+ messages in thread
From: pinskia@physics.uc.edu @ 2003-06-08 18:47 UTC (permalink / raw)
  To: gcc-bugs

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=7033


pinskia@physics.uc.edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |3.3.1


^ permalink raw reply	[flat|nested] 5+ messages in thread

* [Bug c++/7033] [3.3/3.4 regression] Partial template specializations accepted even if a template parameter is used in a non-deduced context
       [not found] <20020614090601.7033.theodore.papadopoulo@sophia.inria.fr>
  2003-06-08 18:47 ` [Bug c++/7033] [3.3/3.4 regression] Partial template specializations accepted even if a template parameter is used in a non-deduced context pinskia@physics.uc.edu
@ 2003-06-11 22:18 ` mmitchel@gcc.gnu.org
  2003-06-11 22:59 ` giovannibajo@libero.it
                   ` (2 subsequent siblings)
  4 siblings, 0 replies; 5+ messages in thread
From: mmitchel@gcc.gnu.org @ 2003-06-11 22:18 UTC (permalink / raw)
  To: gcc-bugs

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=7033


mmitchel@gcc.gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |INVALID


------- Additional Comments From mmitchel@gcc.gnu.org  2003-06-11 22:15 -------
Giovanni is correct; the nested-name-specified is a non-deduced context.

Note that partial specialization matching is defined in terms of function
template deduction (see [temp.class.order]).


^ permalink raw reply	[flat|nested] 5+ messages in thread

* [Bug c++/7033] [3.3/3.4 regression] Partial template specializations accepted even if a template parameter is used in a non-deduced context
       [not found] <20020614090601.7033.theodore.papadopoulo@sophia.inria.fr>
  2003-06-08 18:47 ` [Bug c++/7033] [3.3/3.4 regression] Partial template specializations accepted even if a template parameter is used in a non-deduced context pinskia@physics.uc.edu
  2003-06-11 22:18 ` mmitchel@gcc.gnu.org
@ 2003-06-11 22:59 ` giovannibajo@libero.it
  2004-01-10 20:09 ` giovannibajo at libero dot it
  2004-01-10 20:10 ` giovannibajo at libero dot it
  4 siblings, 0 replies; 5+ messages in thread
From: giovannibajo@libero.it @ 2003-06-11 22:59 UTC (permalink / raw)
  To: gcc-bugs

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=7033


giovannibajo@libero.it changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mmitchel@gcc.gnu.org


------- Additional Comments From giovannibajo@libero.it  2003-06-11 22:58 -------
Mark,

should I file a new enhancement PR about adding a diagnostic message if the 
code defines a partial specialization which could never be chosen because it 
relies on non-deduced contexts? I think it would be a valuable feature.


^ permalink raw reply	[flat|nested] 5+ messages in thread

* [Bug c++/7033] [3.3/3.4 regression] Partial template specializations accepted even if a template parameter is used in a non-deduced context
       [not found] <20020614090601.7033.theodore.papadopoulo@sophia.inria.fr>
                   ` (2 preceding siblings ...)
  2003-06-11 22:59 ` giovannibajo@libero.it
@ 2004-01-10 20:09 ` giovannibajo at libero dot it
  2004-01-10 20:10 ` giovannibajo at libero dot it
  4 siblings, 0 replies; 5+ messages in thread
From: giovannibajo at libero dot it @ 2004-01-10 20:09 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From giovannibajo at libero dot it  2004-01-10 20:09 -------
reopening this ...

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|INVALID                     |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=7033


^ permalink raw reply	[flat|nested] 5+ messages in thread

* [Bug c++/7033] [3.3/3.4 regression] Partial template specializations accepted even if a template parameter is used in a non-deduced context
       [not found] <20020614090601.7033.theodore.papadopoulo@sophia.inria.fr>
                   ` (3 preceding siblings ...)
  2004-01-10 20:09 ` giovannibajo at libero dot it
@ 2004-01-10 20:10 ` giovannibajo at libero dot it
  4 siblings, 0 replies; 5+ messages in thread
From: giovannibajo at libero dot it @ 2004-01-10 20:10 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From giovannibajo at libero dot it  2004-01-10 20:10 -------
... to flag it as a duplicate of PR13640, which contains the regression about 
the missing diagnostic for the useless specialization.

*** This bug has been marked as a duplicate of 13640 ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |RESOLVED
         Resolution|                            |DUPLICATE


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=7033


^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2004-01-10 20:10 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <20020614090601.7033.theodore.papadopoulo@sophia.inria.fr>
2003-06-08 18:47 ` [Bug c++/7033] [3.3/3.4 regression] Partial template specializations accepted even if a template parameter is used in a non-deduced context pinskia@physics.uc.edu
2003-06-11 22:18 ` mmitchel@gcc.gnu.org
2003-06-11 22:59 ` giovannibajo@libero.it
2004-01-10 20:09 ` giovannibajo at libero dot it
2004-01-10 20:10 ` giovannibajo at libero dot it

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).