From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 29194 invoked by alias); 2 Jan 2003 10:16:05 -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 29173 invoked by uid 71); 2 Jan 2003 10:16:03 -0000 Resent-Date: 2 Jan 2003 10:16:03 -0000 Resent-Message-ID: <20030102101603.29169.qmail@sources.redhat.com> Resent-From: gcc-gnats@gcc.gnu.org (GNATS Filer) Resent-Cc: gcc-prs@gcc.gnu.org, gcc-bugs@gcc.gnu.org Resent-Reply-To: gcc-gnats@gcc.gnu.org, martin@xemacs.org Received: (qmail 28090 invoked by uid 61); 2 Jan 2003 10:06:50 -0000 Message-Id: <20030102100650.28089.qmail@sources.redhat.com> Date: Thu, 02 Jan 2003 10:16:00 -0000 From: martin@xemacs.org Reply-To: martin@xemacs.org To: gcc-gnats@gcc.gnu.org X-Send-Pr-Version: gnatsweb-2.9.3 (1.1.1.1.2.31) Subject: c++/9126: g++ incorrectly prefers non-template user-defined conversion operator X-SW-Source: 2003-01/txt/msg00115.txt.bz2 List-Id: >Number: 9126 >Category: c++ >Synopsis: g++ incorrectly prefers non-template user-defined conversion operator >Confidential: no >Severity: serious >Priority: medium >Responsible: unassigned >State: open >Class: wrong-code >Submitter-Id: net >Arrival-Date: Thu Jan 02 02:16:02 PST 2003 >Closed-Date: >Last-Modified: >Originator: Martin Buchholz >Release: gcc-3.2 >Organization: >Environment: Linux x86 >Description: When a function has both an "ordinary" user-defined conversion operator and a templated one, the ordinary one should be preferred, but only if there is no other reason to prefer the templated one. In the example below, the conversion operator template specialized for "long" is an exact match for the call to f. So the argument for f should be provided by the instantiation of the template with "long". With g++, the program exits with return code 1. With icc (and likely Comeau C++), the program exits with return code 0. ----------------------------------------- struct C { inline operator int () { return 1; } template inline operator T () { return 0; } }; inline long f (long x) { return x; } int main (int argc, char *argv[]) { return f (C ()); } >How-To-Repeat: Put code into "file.cc" and then: g++ file.cc && ./a.out; echo $? ==> exit status 1 icc file.cc && ./a.out; echo $? ==> exit status 0 >Fix: >Release-Note: >Audit-Trail: >Unformatted: