nontype5.c

linux下的gcc编译器

// { dg-do compile }

// Origin: Ivan Godard <[e-mail]>
//	   Volker Reichelt <[e-mail]>

// PR c++/13797: ICE invalid nontype template parameter

template <int> struct A
{
    typedef A<0> B;
    template <B> struct C {};	// { dg-error "not a valid type" }
};

A<0> a;				// { dg-error "instantiated" }