From: Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
Date: Tue, 20 Jul 2004 16:02:13 +0000 (+0000)
Subject: re PR c++/16175 (Wrong type reported in diagnostic)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e9f7dd36d5c2cc7a81fde78c3bc992ca153ee518;p=gcc.git

re PR c++/16175 (Wrong type reported in diagnostic)

	PR c++/16175
	* error.c (dump_type) <BOUND_TEMPLATE_TEMPLATE_PARM case>: Output
	cv qualifier.

	* g++.dg/template/ttp10.C: New test.

From-SVN: r84961
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 2cf92d0a435..c05d91ffb72 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2004-07-20  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
+
+	PR c++/16175
+	* error.c (dump_type) <BOUND_TEMPLATE_TEMPLATE_PARM case>: Output
+	cv qualifier.
+
 2004-07-19  Mark Mitchell  <mark@codesourcery.com>
 
 	PR c++/16623
diff --git a/gcc/cp/error.c b/gcc/cp/error.c
index 6fa99a7a801..cf1bf39f36b 100644
--- a/gcc/cp/error.c
+++ b/gcc/cp/error.c
@@ -316,6 +316,7 @@ dump_type (tree t, int flags)
     case BOUND_TEMPLATE_TEMPLATE_PARM:
       {
 	tree args = TYPE_TI_ARGS (t);
+	pp_cxx_cv_qualifier_seq (cxx_pp, t);
 	pp_cxx_tree_identifier (cxx_pp, TYPE_IDENTIFIER (t));
 	pp_cxx_begin_template_argument_list (cxx_pp);
         dump_template_argument_list (args, flags);
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a45e8575c34..64de9d5c8b0 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2004-07-20  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
+
+	PR c++/16175
+	* g++.dg/template/ttp10.C: New test.
+
 2004-07-20  Joseph S. Myers  <jsm@polyomino.org.uk>
 
 	* gcc.dg/pr12625-1.c: New test.
diff --git a/gcc/testsuite/g++.dg/template/ttp10.C b/gcc/testsuite/g++.dg/template/ttp10.C
new file mode 100644
index 00000000000..09bdb1a8467
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/ttp10.C
@@ -0,0 +1,21 @@
+// { dg-do compile }
+
+// Origin: Ivan Godard <igodard@pacbell.net>
+//	   Wolfgang Bangerth <bangerth@ticam.utexas.edu>
+
+// PR c++/16175: Missing cv qualifier in error message output
+
+template <typename> struct Template {}; 
+ 
+template<template<typename> class D> 
+struct B { 
+    static void foo1(const D<void> *);	// { dg-error "const" }
+    static void foo2(volatile D<void> *);// { dg-error "volatile" }
+}; 
+ 
+class E : protected B<Template> {}; 
+ 
+void bar() {
+  E::foo1 (0);				// { dg-error "context" }
+  E::foo2 (0);				// { dg-error "context" }
+}