Re: c++/8772: Segmentation fault on 3 lines of template code

[Volker Reichelt <reichelt@igpm.rwth-aachen.de>]

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

From: Volker Reichelt <reichelt@igpm.rwth-aachen.de>
To: gdr@integrable-solutions.net
Cc: bangerth@ticam.utexas.edu, gcc-gnats@gcc.gnu.org, sneechy@hotmail.com,
        gcc-bugs@gcc.gnu.org
Subject: Re: c++/8772: Segmentation fault on 3 lines of template code
Date: Mon, 20 Jan 2003 11:41:42 +0100

 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