nontype4.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;		// { dg-error "not a valid type|conflict" }
    template <B> struct B {};	// { dg-error "not a valid type|declaration" }
};

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