PR c++/12573

	* g++.dg/template/dependent-expr4.C: New test.

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

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 778a82e..bedd6da 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2004-01-08  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
+
+       PR c++/12573
+       * g++.dg/template/dependent-expr4.C: New test.
+
 2004-01-08  Hartmut Penner  <hpenner@de.ibm.com>
 
        * gcc.dg/altivec-11.c: New test.

diff --git a/gcc/testsuite/g++.dg/template/dependent-expr4.C b/gcc/testsuite/g++.dg/template/dependent-expr4.C
new file mode 100644 (file)
index 0000000..066436b
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/dependent-expr4.C
@@ -0,0 +1,14 @@
+// { dg-do compile }\r
+// Origin: jbrandmeyer at users dot sourceforge dot net\r
+// PR c++/12573: COMPONENT_REFs must be inspected for dependness.\r
+\r
+template <bool> struct S;\r
+\r
+template <typename K> struct Y {\r
+  int x;\r
+};\r
+\r
+template <class T> struct Z {\r
+  S< (bool)(__offsetof__(&static_cast<Y<T>*>(0)->x) == 0) >\r
+    s;\r
+};\r