PR c++/12573
* g++.dg/template/dependent-expr3.C: New test.
From-SVN: r74173
+2003-12-02 Giovanni Bajo <giovannibajo@gcc.gnu.org>
+
+ PR c++/12573\r
+ * g++.dg/template/dependent-expr3.C: New test.
+
2003-12-01 James Lemke <jim@wasabisystems.com>
* gcc.dg/arm-g2.c: New test.
--- /dev/null
+// { dg-do compile }
+// Origin: jbrandmeyer at users dot sourceforge dot net
+// PR c++/12573: COMPONENT_REFs must be inspected for dependness.
+
+template <bool> struct S;
+
+template <typename K> struct Y : K {
+ int x;
+};
+
+template <class T> struct Z {
+ S< (bool)(&static_cast<Y<T> *>(0)->x == 0) >
+ s;
+};