From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-prs-return-24266-listarch-gcc-prs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 6324 invoked by alias); 10 Nov 2002 19:26:01 -0000
Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-prs/>
List-Post: <mailto:gcc-prs@gcc.gnu.org>
List-Help: <mailto:gcc-prs-help@gcc.gnu.org>
Sender: gcc-prs-owner@gcc.gnu.org
Received: (qmail 6308 invoked by uid 71); 10 Nov 2002 19:26:01 -0000
Date: Sun, 10 Nov 2002 11:26:00 -0000
Message-ID: <20021110192601.6307.qmail@sources.redhat.com>
To: gdr@gcc.gnu.org
Cc: gcc-prs@gcc.gnu.org,
From: Wolfgang Bangerth <bangerth@ticam.utexas.edu>
Subject: Re: c++/99: Bug in type in error message.
Reply-To: Wolfgang Bangerth <bangerth@ticam.utexas.edu>
X-SW-Source: 2002-11/txt/msg00480.txt.bz2
List-Id: <gcc-prs.sourceware.org>

The following reply was made to PR c++/99; it has been noted by GNATS.

From: Wolfgang Bangerth <bangerth@ticam.utexas.edu>
To: gcc-gnats@gcc.gnu.org
Cc:  
Subject: Re: c++/99: Bug in type in error message.
Date: Sun, 10 Nov 2002 13:24:13 -0600 (CST)

 A slightly simpler to read example is this:
 ------------------------------------
 template<int p> class X { };
 
 template<int n, int m> int f(X<n>, X<m>) {
   return f(X<n-1>(), X<m-1>()) + f(X<n-1>(), X<m>());
 }
 
 template<int n> int f(X<n>, X<0>);
 template<int m> int f(X<0>, X<m>);
 
 int main(void) {
    return f(X<2>(), X<1>());
 }
 --------------------------------------
 
 The messages I get are these:
 x.cc: In function `int f(X<n>, X<m>) [with int n = 1, int m = 1]':
 x.cc:4:   instantiated from `int f(X<n>, X<m>) [with int n = 2, int m = 1]'
 x.cc:11:   instantiated from here
 x.cc:4: error: call of overloaded `f(X<0>, X<0>)' is ambiguous
 x.cc:3: error: candidates are: int f(X<n>, X<m>) [with int n = 0, int m = 0]
 x.cc:7: error:                 int f(X<n>, X<0>) [with int n = 0]
 x.cc:8: error:                 int f(X<0>, X<n>) [with int m = 0]
 
 Note the last line with "n" vs. "m".
 
 -------------------------------------------------------------------------
 Wolfgang Bangerth              email:           bangerth@ticam.utexas.edu
                                www: http://www.ticam.utexas.edu/~bangerth