This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
Re: c++/8772: Segmentation fault on 3 lines of template code
- From: Volker Reichelt <reichelt at igpm dot rwth-aachen dot de>
- To: gdr at integrable-solutions dot net
- Cc: bangerth at ticam dot utexas dot edu, gcc-gnats at gcc dot gnu dot org, sneechy at hotmail dot com, gcc-bugs at gcc dot gnu dot org
- Date: Mon, 20 Jan 2003 11:41:42 +0100
- Subject: Re: c++/8772: Segmentation fault on 3 lines of template code
On 18 Jan, Gabriel Dos Reis wrote:
> Well, the diagnostic is still incorrect; I believe we should rephrase
> teh synopsis to indicate that
Done.
FYI, a short summary of the audit-trail:
GCC issues:
* The code is illegal, and caused an ICE since gcc 2.95.x.
* The ICE was fixed with the new parser, but the error message which
is issued now, is misleading:
PR8772.cc:3: error: type/value mismatch at argument 1 in template parameter
list for `template<template<int <anonymous> > class F> struct C'
PR8772.cc:3: error: expected a type, got `A<<anonymous> >::B'
(We do expect a template - not a type.) So we still have a bug.
ISO-Standard issues:
* There seems to be no way to make the code legal according to the
standard. This was reported to the committee by Gaby. The proposed
solution - using C<A<n>::template B> - is already accepted since
gcc 3.1.
Regards,
Volker