re PR c++/23691 (`mpl_::bool_<false>::value' is not a valid template argument for...

	PR c++/23691
	* g++.dg/template/static16.C: New test.

From-SVN: r104186

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 434e539b00509b7a06424ce50e22eb66d22b39de..f8ba4db4392e3bb7a5bc72a93505ab8a10b4c2f9 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2005-09-12  Mark Mitchell  <mark@codesourcery.com>
+
+       PR c++/23691
+       * g++.dg/template/static16.C: New test.
+
 2005-09-12  Josh Conner  <jconner@apple.com>
 
        PR middle-end/23237
@@ -103,11 +108,6 @@
        PR fortran/23765
        * gfortran.dg/common_6.f90: New test.
 
-2005-09-08  Mark Mitchell  <mark@codesourcery.com>
-
-       PR c++/23691
-       * g++.dg/template/static16.C: New test.
-
 2005-09-08  Richard Sandiford  <richard@codesourcery.com>
 
        PR fortran/15326

diff --git a/gcc/testsuite/g++.dg/template/static16.C b/gcc/testsuite/g++.dg/template/static16.C
new file mode 100644 (file)
index 0000000..f33ac3a
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/static16.C
@@ -0,0 +1,20 @@
+// PR c++/23691
+
+namespace std {
+  class type_info {
+    bool operator==(const type_info& __arg) const;
+  };
+}
+template <class T, T val> struct integral_constant {
+  static const T value = val;
+};
+template< typename T > struct is_integral : integral_constant<bool,false> {};
+template <bool B>   struct enable_if_c {};
+template<typename Functor>
+typename enable_if_c<(is_integral<Functor>::value)>::type
+operator==(const int& f, Functor g);
+template<class D>
+int get_deleter( std::type_info const & ti )
+{
+  return ti == typeid(D);
+}