From c8b3a7929b6b0a961c8dd4c69b89649f07ffe72b Mon Sep 17 00:00:00 2001
From: Mark Mitchell <mark@codesourcery.com>
Date: Mon, 12 Sep 2005 19:00:57 +0000
Subject: [PATCH] re PR c++/23691 (`mpl_::bool_<false>::value' is not a valid
template argument for type `bool' because it is a non-constant expression)
PR c++/23691
* g++.dg/template/static16.C: New test.
From-SVN: r104186
---
gcc/testsuite/ChangeLog | 10 +++++-----
gcc/testsuite/g++.dg/template/static16.C | 20 ++++++++++++++++++++
2 files changed, 25 insertions(+), 5 deletions(-)
create mode 100644 gcc/testsuite/g++.dg/template/static16.C
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 434e539b0050..f8ba4db4392e 100644
--- 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
index 000000000000..f33ac3a5532b
--- /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);
+}
--
GitLab