2009-04-01 H.J. Lu <hongjiu.lu@intel.com>

	PR c++/4926
	* g++.dg/template/pr4926-1.C: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145423 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 708697b..b104b2a 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2009-04-01  H.J. Lu  <hongjiu.lu@intel.com>
+
+       PR c++/4926
+       * g++.dg/template/pr4926-1.C: New.
+
 2009-04-01  Xinliang David Li  <davidxl@google.com>
 
        * gcc.target/i386/all_one_m128i.c: New test.

diff --git a/gcc/testsuite/g++.dg/template/pr4926-1.C b/gcc/testsuite/g++.dg/template/pr4926-1.C
new file mode 100644 (file)
index 0000000..ec2b226
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/pr4926-1.C
@@ -0,0 +1,18 @@
+// PR c++/4926
+// { dg-do compile }
+
+template <unsigned> struct X { typedef int Type; };
+template <typename T> struct Y { char array[1]; };
+ 
+template<typename T> Y<T> P(T);  // acts as "Y<typeof(T)>"
+ 
+struct F { int operator()() const; };
+ 
+template <typename T>
+typename X<sizeof(P(  T()()  ).array)>::Type  foo();
+ 
+void
+bar () 
+{ 
+  foo<F>();
+}