From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 11414 invoked by alias); 16 Mar 2003 14:56:01 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 11362 invoked by uid 71); 16 Mar 2003 14:56:01 -0000 Date: Sun, 16 Mar 2003 14:56:00 -0000 Message-ID: <20030316145601.11360.qmail@sources.redhat.com> To: nobody@gcc.gnu.org Cc: gcc-prs@gcc.gnu.org, From: "Giovanni Bajo" Subject: Re: c++/8640: [2003-01-22] template specialization bug #2 (gcc3.2) Reply-To: "Giovanni Bajo" X-SW-Source: 2003-03/txt/msg01069.txt.bz2 List-Id: The following reply was made to PR c++/8640; it has been noted by GNATS. From: "Giovanni Bajo" To: , , , "Wolfgang Bangerth" , , Cc: Subject: Re: c++/8640: [2003-01-22] template specialization bug #2 (gcc3.2) Date: Sun, 16 Mar 2003 15:46:53 +0100 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&p r=8640 Yes, I (sadly) agree. In non-legalese, the problem is that partial ordering does not take into account template parameters which are explicitally specialized at function call time. For the logs, there is also an open DR about partial ordering (http://std.dkuug.dk/jtc1/sc22/wg21/docs/cwg_active.html#214) which shows a very similar case. I hope that in the end the above snippet will be non-ambigous, but for now it rightfully is. Giovanni Bajo