From bbcd2439ba230342965bf28f7458673c07d69efe Mon Sep 17 00:00:00 2001
From: Giovanni Bajo <giovannibajo@gcc.gnu.org>
Date: Sun, 25 Jan 2004 22:46:48 +0000
Subject: [PATCH] re PR c++/13810 (ICE on invalid default templates)

	PR c++/13810
	* g++.dg/template/ttp7.C: New test.

From-SVN: r76594
---
 gcc/testsuite/ChangeLog              |  5 +++++
 gcc/testsuite/g++.dg/template/ttp7.C | 16 ++++++++++++++++
 2 files changed, 21 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/template/ttp7.C

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 520966a9f4f..a8a7b5d0d16 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2004-01-25  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
+
+	PR c++/13810
+	* g++.dg/template/ttp7.C: New test.
+
 2004-01-25  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
 
 	PR c++/13797
diff --git a/gcc/testsuite/g++.dg/template/ttp7.C b/gcc/testsuite/g++.dg/template/ttp7.C
new file mode 100644
index 00000000000..0bcaa8f7292
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/ttp7.C
@@ -0,0 +1,16 @@
+// { dg-do compile }
+// Contributed by Andrew Pinski <pinskia at gcc dot gnu dot org>
+// PR c++/13810: ICE while parsing invalid default argument for a 
+//   template template parameter.
+
+struct X;
+template<int> struct A {};   
+
+template<template<int> class = X > struct B1 {};     // { dg-error "as a default value" }
+template<template<int> class = A<0> > struct B2 {};  // { dg-error "as a default value" }
+
+template <typename T>
+struct S {
+  template <template <typename> class = S>   struct I1 {};  // { dg-error "as a default value" }
+  template <template <typename> class = ::S> struct I2 {};
+};