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

[Volker Reichelt]

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