From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 26456 invoked by alias); 1 Feb 2005 14:27:22 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 26375 invoked by uid 48); 1 Feb 2005 14:27:15 -0000 Date: Tue, 01 Feb 2005 14:27:00 -0000 Message-ID: <20050201142715.26374.qmail@sourceware.org> From: "bangerth at dealii dot org" To: gcc-bugs@gcc.gnu.org In-Reply-To: <20050201140539.19741.eda-qa@disemia.com> References: <20050201140539.19741.eda-qa@disemia.com> Reply-To: gcc-bugzilla@gcc.gnu.org Subject: [Bug c++/19741] suboptimal error message for template functions (as opposed to non-templates) X-Bugzilla-Reason: CC X-SW-Source: 2005-02/txt/msg00077.txt.bz2 List-Id: ------- Additional Comments From bangerth at dealii dot org 2005-02-01 14:27 ------- This is in fact true. There is a mismatch between error messages for template function arguments and non-templates: -------------------- void foo1(); template void foo2(); template bool bar(void (*) () ); bool b1 = bar (1, &foo1); bool b2 = bar (1, &foo2); -------------------- g/x> /home/bangerth/bin/gcc-4.0-pre/bin/c++ -c x.cc x.cc:6: error: no matching function for call to ?bar(int, void (*)())? x.cc:7: error: no matching function for call to ?bar(int, )? Since the complete template arguments to foo2 are given, the type should in fact be completely known. W. -- What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Ever Confirmed| |1 Keywords| |diagnostic Last reconfirmed|0000-00-00 00:00:00 |2005-02-01 14:27:13 date| | Summary|less than optimal error |suboptimal error message for |message (actually, just |template functions (as |appears wrong, use of |opposed to non-templates) |?) | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19741