This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [C++ PATCH,committed] Fix PR17344 (missing tf_error check in coerce_template_parms)

From: "Giovanni Bajo" <giovannibajo at libero dot it>
To: "Kriang Lerdsuwanakij" <lerdsuwa at users dot sourceforge dot net>
Cc: "Mark Mitchell" <mark at codesourcery dot com>,<gcc-patches at gcc dot gnu dot org>
Date: Thu, 18 Nov 2004 11:11:48 +0100
Subject: Re: [C++ PATCH,committed] Fix PR17344 (missing tf_error check in coerce_template_parms)
References: <41973CC5.9020405@users.sourceforge.net> <41991A0E.602@codesourcery.com> <419A1F4A.3060606@users.sourceforge.net>

Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net> wrote:

> we can deduce 'X' to 'A' (with current GCC template template parameter
> matching) and proceed to check if 'A<void>' is valid.  However the
> default argument 'intTraits<void>::i' in 'A<void>' fails the condition

So, am I right to believe that such a situation would never happen under a
standard ISO C++ compiler? If your patch only affects testcases which use our
extension on template template parameter matching, we are pretty much free to
do whatever we want.

Giovanni Bajo

Follow-Ups:
- Re: [C++ PATCH,committed] Fix PR17344 (missing tf_error check incoerce_template_parms)
  - From: Kriang Lerdsuwanakij

References:
- [C++ PATCH,committed] Fix PR17344 (missing tf_error check in coerce_template_parms)
  - From: Kriang Lerdsuwanakij
- Re: [C++ PATCH,committed] Fix PR17344 (missing tf_error check incoerce_template_parms)
  - From: Mark Mitchell
- Re: [C++ PATCH,committed] Fix PR17344 (missing tf_error check incoerce_template_parms)
  - From: Kriang Lerdsuwanakij

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]