summaryrefslogtreecommitdiff
path: root/libstdc++-v3/testsuite/20_util/function
diff options
context:
space:
mode:
authorupstream source tree <ports@midipix.org>2015-03-15 20:14:05 -0400
committerupstream source tree <ports@midipix.org>2015-03-15 20:14:05 -0400
commit554fd8c5195424bdbcabf5de30fdc183aba391bd (patch)
tree976dc5ab7fddf506dadce60ae936f43f58787092 /libstdc++-v3/testsuite/20_util/function
downloadcbb-gcc-4.6.4-554fd8c5195424bdbcabf5de30fdc183aba391bd.tar.bz2
cbb-gcc-4.6.4-554fd8c5195424bdbcabf5de30fdc183aba391bd.tar.xz
obtained gcc-4.6.4.tar.bz2 from upstream website;upstream
verified gcc-4.6.4.tar.bz2.sig; imported gcc-4.6.4 source tree from verified upstream tarball. downloading a git-generated archive based on the 'upstream' tag should provide you with a source tree that is binary identical to the one extracted from the above tarball. if you have obtained the source via the command 'git clone', however, do note that line-endings of files in your working directory might differ from line-endings of the respective files in the upstream repository.
Diffstat (limited to 'libstdc++-v3/testsuite/20_util/function')
-rw-r--r--libstdc++-v3/testsuite/20_util/function/1.cc94
-rw-r--r--libstdc++-v3/testsuite/20_util/function/2.cc78
-rw-r--r--libstdc++-v3/testsuite/20_util/function/3.cc78
-rw-r--r--libstdc++-v3/testsuite/20_util/function/4.cc82
-rw-r--r--libstdc++-v3/testsuite/20_util/function/43397.cc78
-rw-r--r--libstdc++-v3/testsuite/20_util/function/48541.cc40
-rw-r--r--libstdc++-v3/testsuite/20_util/function/5.cc107
-rw-r--r--libstdc++-v3/testsuite/20_util/function/6.cc82
-rw-r--r--libstdc++-v3/testsuite/20_util/function/7.cc82
-rw-r--r--libstdc++-v3/testsuite/20_util/function/8.cc148
-rw-r--r--libstdc++-v3/testsuite/20_util/function/9.cc55
-rw-r--r--libstdc++-v3/testsuite/20_util/function/assign/move.cc50
-rw-r--r--libstdc++-v3/testsuite/20_util/function/assign/move_target.cc47
-rw-r--r--libstdc++-v3/testsuite/20_util/function/cmp/cmp_neg.cc32
-rw-r--r--libstdc++-v3/testsuite/20_util/function/cons/move.cc48
-rw-r--r--libstdc++-v3/testsuite/20_util/function/cons/move_target.cc46
-rw-r--r--libstdc++-v3/testsuite/20_util/function/invoke/move_only.cc61
-rw-r--r--libstdc++-v3/testsuite/20_util/function/null_pointer_comparisons.cc44
-rw-r--r--libstdc++-v3/testsuite/20_util/function/requirements/explicit_instantiation.cc26
19 files changed, 1278 insertions, 0 deletions
diff --git a/libstdc++-v3/testsuite/20_util/function/1.cc b/libstdc++-v3/testsuite/20_util/function/1.cc
new file mode 100644
index 000000000..89a22542b
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/function/1.cc
@@ -0,0 +1,94 @@
+// { dg-options "-std=gnu++0x" }
+// 2005-01-15 Douglas Gregor <dgregor@cs.indiana.edu>
+//
+// Copyright (C) 2005, 2009 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// 20.7.15 polymorphic function object wrapper
+#include <functional>
+#include <testsuite_hooks.h>
+
+using namespace __gnu_test;
+
+bool test __attribute__((unused)) = true;
+
+// Operations on empty function<> objects
+void test01()
+{
+ using std::function;
+ using std::bad_function_call;
+
+ // Default-construction
+ function<int(float)> f1;
+ VERIFY( ((bool)f1 == false) );
+ VERIFY( !f1 );
+ VERIFY( f1 == 0 );
+ VERIFY( 0 == f1 );
+ VERIFY( !(f1 != 0) );
+ VERIFY( !(0 != f1) );
+
+ // Copy-construction
+ function<int(float)> f2(f1);
+ VERIFY( !f2 );
+
+ // Construct with NULL pointer
+ function<int(float)> f3(0);
+ VERIFY( !f3 );
+
+ // Assignment
+ f1 = f2;
+ VERIFY( !f1);
+
+ // Assignment to NULL pointer
+ f1 = 0;
+ VERIFY( !f1 );
+
+ // Swap
+ swap(f1, f2);
+ VERIFY( !f1 );
+ VERIFY( !f2 );
+
+ // Invocation should throw bad_function_call
+ bool thrown = false;
+ try
+ {
+ f1(3.14159f);
+ VERIFY( false );
+ }
+ catch (bad_function_call)
+ {
+ thrown = true;
+ }
+ VERIFY( thrown );
+
+ // target_type returns typeid(void)
+ VERIFY( f1.target_type() == typeid(void) );
+
+ // target() always returns a NULL pointer
+ VERIFY( f1.target<int (*)(float)>() == 0);
+
+ // Check const version
+ const function<int(float)>& f1c = f1;
+ VERIFY( f1c.target<int (*)(float)>() == 0 );
+ VERIFY( !f1c );
+}
+
+int main()
+{
+ test01();
+ return 0;
+}
diff --git a/libstdc++-v3/testsuite/20_util/function/2.cc b/libstdc++-v3/testsuite/20_util/function/2.cc
new file mode 100644
index 000000000..f2866d085
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/function/2.cc
@@ -0,0 +1,78 @@
+// { dg-options "-std=gnu++0x" }
+// 2005-01-15 Douglas Gregor <dgregor@cs.indiana.edu>
+//
+// Copyright (C) 2005, 2009 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// 20.7.15 polymorphic function object wrapper
+#include <functional>
+#include <testsuite_hooks.h>
+#include <testsuite_tr1.h>
+
+using namespace __gnu_test;
+
+bool test __attribute__((unused)) = true;
+
+// Put function pointers into function<> wrappers
+void test02()
+{
+ using std::function;
+
+ function<int(float)> f1(truncate_float);
+ VERIFY( f1 );
+ VERIFY( !!f1 );
+ VERIFY( !(f1 == 0) );
+ VERIFY( !(0 == f1) );
+ VERIFY( f1 != 0 );
+ VERIFY( 0 != f1 );
+
+ // Copy-construction
+ function<int(float)> f2(f1);
+ VERIFY( f2 );
+
+ // Invocation
+ VERIFY( f1(3.1f) == 3 );
+ VERIFY( f2(3.1f) == 3 );
+
+ // Assignment to zero
+ f1 = 0;
+ VERIFY( !f1 );
+
+ // Swap
+ f1.swap(f2);
+ VERIFY( f1 );
+ VERIFY( !f2 );
+ VERIFY( f1(3.1f) == 3 );
+
+ // Assignment from a function pointer
+ f2 = truncate_float;
+ VERIFY( f2(3.1f) == 3 );
+
+ // target_type and target() functions
+ const function<int(float)>& f1c = f1;
+ VERIFY( typeid(int(*)(float)) == f1.target_type() );
+ VERIFY( f2.target<int(*)(float)>() != 0 );
+ VERIFY( *f2.target<int(*)(float)>() == &truncate_float );
+ VERIFY( f1c.target<int(*)(float)>() != 0 );
+ VERIFY( *f1c.target<int(*)(float)>() == &truncate_float );
+}
+
+int main()
+{
+ test02();
+ return 0;
+}
diff --git a/libstdc++-v3/testsuite/20_util/function/3.cc b/libstdc++-v3/testsuite/20_util/function/3.cc
new file mode 100644
index 000000000..7f9239015
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/function/3.cc
@@ -0,0 +1,78 @@
+// { dg-options "-std=gnu++0x" }
+// 2005-01-15 Douglas Gregor <dgregor@cs.indiana.edu>
+//
+// Copyright (C) 2005, 2009 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// 20.7.15 polymorphic function object wrapper
+#include <functional>
+#include <testsuite_hooks.h>
+#include <testsuite_tr1.h>
+
+using namespace __gnu_test;
+
+bool test __attribute__((unused)) = true;
+
+// Put nearly-matching function pointers into function<> wrappers
+void test03()
+{
+ using std::function;
+
+ function<int(float)> f1(truncate_double);
+ VERIFY( f1 );
+ VERIFY( !!f1 );
+ VERIFY( !(f1 == 0) );
+ VERIFY( !(0 == f1) );
+ VERIFY( f1 != 0 );
+ VERIFY( 0 != f1 );
+
+ // Copy-construction
+ function<int(float)> f2(f1);
+ VERIFY( f2 );
+
+ // Invocation
+ VERIFY( f1(3.1f) == 3 );
+ VERIFY( f2(3.1f) == 3 );
+
+ // Assignment to zero
+ f1 = 0;
+ VERIFY( !f1 );
+
+ // Swap
+ f1.swap(f2);
+ VERIFY( f1 );
+ VERIFY( !f2 );
+ VERIFY( f1(3.1f) == 3 );
+
+ // Assignment from a function pointer
+ f2 = truncate_double;
+ VERIFY( f2(3.1f) == 3 );
+
+ // target_type and target() functions
+ const function<int(float)>& f1c = f1;
+ VERIFY( typeid(long(*)(double)) == f1.target_type() );
+ VERIFY( f2.target<long(*)(double)>() != 0 );
+ VERIFY( *f2.target<long(*)(double)>() == &truncate_double );
+ VERIFY( f1c.target<long(*)(double)>() != 0 );
+ VERIFY( *f1c.target<long(*)(double)>() == &truncate_double );
+}
+
+int main()
+{
+ test03();
+ return 0;
+}
diff --git a/libstdc++-v3/testsuite/20_util/function/4.cc b/libstdc++-v3/testsuite/20_util/function/4.cc
new file mode 100644
index 000000000..824d17f59
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/function/4.cc
@@ -0,0 +1,82 @@
+// { dg-options "-std=gnu++0x" }
+// 2005-01-15 Douglas Gregor <dgregor@cs.indiana.edu>
+//
+// Copyright (C) 2005, 2009 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// 20.7.15 polymorphic function object wrapper
+#include <functional>
+#include <testsuite_hooks.h>
+#include <testsuite_tr1.h>
+
+using namespace __gnu_test;
+
+bool test __attribute__((unused)) = true;
+
+// Put function objects into function<> wrappers
+void test04()
+{
+ using std::function;
+
+ do_truncate_float_t truncate_float;
+
+ function<int(float)> f1(truncate_float);
+ VERIFY( f1 );
+ VERIFY( !!f1 );
+ VERIFY( !(f1 == 0) );
+ VERIFY( !(0 == f1) );
+ VERIFY( f1 != 0 );
+ VERIFY( 0 != f1 );
+
+ // Copy-construction
+ function<int(float)> f2(f1);
+ VERIFY( f2 );
+
+ // Invocation
+ VERIFY( f1(3.1f) == 3 );
+ VERIFY( f2(3.1f) == 3 );
+
+ // Assignment to zero
+ f1 = 0;
+ VERIFY( !f1 );
+
+ // Swap
+ f1.swap(f2);
+ VERIFY( f1 );
+ VERIFY( !f2 );
+ VERIFY( f1(3.1f) == 3 );
+
+ // Assignment from a function pointer
+ f2 = do_truncate_float_t();
+ VERIFY( f2(3.1f) == 3 );
+
+ // target_type and target() functions
+ const function<int(float)>& f1c = f1;
+ VERIFY( typeid(do_truncate_float_t) == f1.target_type() );
+ VERIFY( f2.target<do_truncate_float_t>() != 0 );
+ VERIFY( f1c.target<do_truncate_float_t>() != 0 );
+}
+
+int main()
+{
+ test04();
+
+ VERIFY( do_truncate_double_t::live_objects == 0 );
+ VERIFY( do_truncate_float_t::live_objects == 0 );
+
+ return 0;
+}
diff --git a/libstdc++-v3/testsuite/20_util/function/43397.cc b/libstdc++-v3/testsuite/20_util/function/43397.cc
new file mode 100644
index 000000000..d76a27f34
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/function/43397.cc
@@ -0,0 +1,78 @@
+// { dg-options "-std=gnu++0x" }
+// Copyright (C) 2010 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// 20.8.15 polymorphic function object wrapper
+
+#include <functional>
+#include <testsuite_hooks.h>
+
+struct Foo
+{
+ Foo() { }
+ short operator() ( int && ) { return 1; }
+ short operator() ( int && ) const { return 2; }
+ short operator() ( int && ) volatile { return 3; }
+ short operator() ( int && ) const volatile { return 4; }
+ short func( int && ) { return 5; }
+ short func_c( int && ) const { return 6; }
+ short func_v( int && ) volatile { return 7; }
+ short func_cv( int && ) const volatile { return 8; }
+};
+
+void test01()
+{
+ bool test __attribute__((unused)) = true;
+
+ using std::function;
+ using std::ref;
+
+ Foo foo;
+ Foo const foo_c;
+ Foo volatile foo_v;
+ Foo const volatile foo_cv;
+
+ std::function< int ( int && ) > f1( ref(foo) );
+ VERIFY( f1(0) == 1 );
+
+ std::function< int ( int && ) > f2( ref(foo_c) );
+ VERIFY( f2(0) == 2 );
+
+ std::function< int ( int && ) > f3( ref(foo_v) );
+ VERIFY( f3(0) == 3 );
+
+ std::function< int ( int && ) > f4( ref(foo_cv) );
+ VERIFY( f4(0) == 4 );
+
+ std::function< int ( Foo &, int && ) > f5( &Foo::func ) ;
+ VERIFY( f5(foo, 0) == 5 );
+
+ std::function< int ( Foo const &, int && ) > f6( &Foo::func_c ) ;
+ VERIFY( f6(foo_c, 0) == 6 );
+
+ std::function< int ( Foo volatile &, int && ) > f7( &Foo::func_v ) ;
+ VERIFY( f7(foo_v, 0) == 7 );
+
+ std::function< int ( Foo const volatile &, int && ) > f8( &Foo::func_cv ) ;
+ VERIFY( f8(foo_cv, 0) == 8 );
+}
+
+int main()
+{
+ test01();
+ return 0;
+}
diff --git a/libstdc++-v3/testsuite/20_util/function/48541.cc b/libstdc++-v3/testsuite/20_util/function/48541.cc
new file mode 100644
index 000000000..f8123676f
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/function/48541.cc
@@ -0,0 +1,40 @@
+// { dg-options "-std=gnu++0x" }
+// { dg-do compile }
+// Copyright (C) 2011 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// libstdc++/48451
+
+#include <functional>
+
+struct X {
+ void operator () () const { }
+ float operator & () const { return 1.2345; }
+};
+
+void test01()
+{
+ X x;
+ std::function<void()> f(x);
+ f();
+}
+
+int main()
+{
+ test01();
+ return 0;
+}
diff --git a/libstdc++-v3/testsuite/20_util/function/5.cc b/libstdc++-v3/testsuite/20_util/function/5.cc
new file mode 100644
index 000000000..b86b198f0
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/function/5.cc
@@ -0,0 +1,107 @@
+// { dg-options "-std=gnu++0x" }
+// 2005-01-15 Douglas Gregor <dgregor@cs.indiana.edu>
+//
+// Copyright (C) 2005, 2009 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// 20.7.15 polymorphic function object wrapper
+#include <functional>
+#include <testsuite_hooks.h>
+#include <testsuite_tr1.h>
+
+using namespace __gnu_test;
+
+bool test __attribute__((unused)) = true;
+
+// Put member pointers into function<> wrappers
+void test05()
+{
+ using std::function;
+
+ X x;
+ x.bar = 17;
+
+ function<int(X&)> frm(&X::bar);
+ VERIFY( frm );
+ VERIFY( frm(x) == 17 );
+ VERIFY( typeid(int X::*) == frm.target_type() );
+ VERIFY( *frm.target<int X::*>() == &X::bar );
+
+ function<int(X&)> fr(&X::foo);
+ VERIFY( fr );
+ VERIFY( fr(x) == 1 );
+ VERIFY( typeid(int (X::*)()) == fr.target_type() );
+ VERIFY( *fr.target<int (X::*)()>() == &X::foo );
+
+ function<int(const X&)> frc(&X::foo_c);
+ VERIFY( frc );
+ VERIFY( frc(x) == 2 );
+ VERIFY( typeid(int (X::*)() const) == frc.target_type() );
+ VERIFY( *frc.target<int (X::*)() const >() == &X::foo_c );
+
+ function<int(volatile X&)> frv(&X::foo_v);
+ VERIFY( frv );
+ VERIFY( frv(x) == 3 );
+ VERIFY( typeid(int (X::*)() volatile) == frv.target_type() );
+ VERIFY( *frv.target<int (X::*)() volatile >() == &X::foo_v );
+ VERIFY( frv.target<int (X::*)() const volatile>() == 0 );
+
+ function<int(const volatile X&)> frcv(&X::foo_cv);
+ VERIFY( frcv );
+ VERIFY( frcv(x) == 4 );
+ VERIFY( typeid(int (X::*)() const volatile) == frcv.target_type() );
+ VERIFY( *frcv.target<int (X::*)() const volatile >() == &X::foo_cv );
+ VERIFY( frcv.target<int (X::*)() const>() == 0 );
+
+ function<int(X*)> grm(&X::bar);
+ VERIFY( grm );
+ VERIFY( grm(&x) == 17 );
+ VERIFY( typeid(int X::*) == grm.target_type() );
+ VERIFY( *grm.target<int X::*>() == &X::bar );
+
+ function<int(X*)> gr(&X::foo);
+ VERIFY( gr );
+ VERIFY( gr(&x) == 1 );
+ VERIFY( typeid(int (X::*)()) == gr.target_type() );
+ VERIFY( *gr.target<int (X::*)()>() == &X::foo );
+
+ function<int(const X*)> grc(&X::foo_c);
+ VERIFY( grc );
+ VERIFY( grc(&x) == 2 );
+ VERIFY( typeid(int (X::*)() const) == grc.target_type() );
+ VERIFY( *grc.target<int (X::*)() const >() == &X::foo_c );
+
+ function<int(volatile X*)> grv(&X::foo_v);
+ VERIFY( grv );
+ VERIFY( grv(&x) == 3 );
+ VERIFY( typeid(int (X::*)() volatile) == grv.target_type() );
+ VERIFY( *grv.target<int (X::*)() volatile >() == &X::foo_v );
+ VERIFY( grv.target<int (X::*)() const volatile>() == 0 );
+
+ function<int(const volatile X*)> grcv(&X::foo_cv);
+ VERIFY( grcv );
+ VERIFY( grcv(&x) == 4 );
+ VERIFY( typeid(int (X::*)() const volatile) == grcv.target_type() );
+ VERIFY( *grcv.target<int (X::*)() const volatile >() == &X::foo_cv );
+ VERIFY( grcv.target<int (X::*)() const>() == 0 );
+}
+
+int main()
+{
+ test05();
+ return 0;
+}
diff --git a/libstdc++-v3/testsuite/20_util/function/6.cc b/libstdc++-v3/testsuite/20_util/function/6.cc
new file mode 100644
index 000000000..47d2c1f9b
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/function/6.cc
@@ -0,0 +1,82 @@
+// { dg-options "-std=gnu++0x" }
+// 2005-01-15 Douglas Gregor <dgregor@cs.indiana.edu>
+//
+// Copyright (C) 2005, 2009 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// 20.7.15 polymorphic function object wrapper
+#include <functional>
+#include <testsuite_hooks.h>
+
+using namespace __gnu_test;
+
+bool test __attribute__((unused)) = true;
+
+struct secret {};
+
+struct noncopyable_function_object_type
+{
+ noncopyable_function_object_type(secret) {}
+
+ int operator()() const { return 42; }
+ int operator()() { return 17; }
+
+ private:
+ noncopyable_function_object_type();
+ noncopyable_function_object_type(const noncopyable_function_object_type&);
+ void operator=(const noncopyable_function_object_type&);
+};
+
+// Put reference_wrappers into function<> wrappers
+void test06()
+{
+ using std::function;
+ using std::ref;
+ using std::cref;
+
+ secret password;
+ noncopyable_function_object_type x(password);
+
+ function<int()> f(ref(x));
+ VERIFY( f );
+ VERIFY( f() == 17 );
+ VERIFY( f.target_type() == typeid(noncopyable_function_object_type) );
+ VERIFY( f.target<noncopyable_function_object_type>() == &x );
+
+ function<int()> g = f;
+ VERIFY( g );
+ VERIFY( g() == 17 );
+ VERIFY( g.target_type() == typeid(noncopyable_function_object_type) );
+ VERIFY( g.target<noncopyable_function_object_type>() == &x );
+
+ function<int()> h = cref(x);
+ VERIFY( h );
+ VERIFY( h() == 42 );
+ VERIFY( h.target_type() == typeid(noncopyable_function_object_type) );
+ VERIFY( h.target<const noncopyable_function_object_type>() == &x );
+ VERIFY( h.target<const noncopyable_function_object_type>() == &x );
+
+ const function<int()>& hc = h;
+ VERIFY( h.target<noncopyable_function_object_type>() == 0 );
+ VERIFY( hc.target<noncopyable_function_object_type>() == &x );
+}
+
+int main()
+{
+ test06();
+ return 0;
+}
diff --git a/libstdc++-v3/testsuite/20_util/function/7.cc b/libstdc++-v3/testsuite/20_util/function/7.cc
new file mode 100644
index 000000000..3b922116b
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/function/7.cc
@@ -0,0 +1,82 @@
+// { dg-options "-std=gnu++0x" }
+// 2005-01-15 Douglas Gregor <dgregor@cs.indiana.edu>
+//
+// Copyright (C) 2005, 2009 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// 20.7.15 polymorphic function object wrapper
+#include <functional>
+#include <testsuite_hooks.h>
+#include <testsuite_tr1.h>
+
+using namespace __gnu_test;
+
+bool test __attribute__((unused)) = true;
+
+// Put reference_wrappers to function pointers into function<> wrappers
+void test07()
+{
+ using std::function;
+ using std::ref;
+ using std::cref;
+
+ int (*fptr)(float) = truncate_float;
+
+ function<int(float)> f1(ref(fptr));
+ VERIFY( f1 );
+ VERIFY( !!f1 );
+ VERIFY( !(f1 == 0) );
+ VERIFY( !(0 == f1) );
+ VERIFY( f1 != 0 );
+ VERIFY( 0 != f1 );
+
+ // Invocation
+ VERIFY( f1(3.1f) == 3 );
+
+ // target_type and target() functions
+ const function<int(float)>& f1c = f1;
+ VERIFY( typeid(int(*)(float)) == f1.target_type() );
+ VERIFY( f1.target<int(*)(float)>() != 0 );
+ VERIFY( f1.target<int(*)(float)>() == &fptr );
+ VERIFY( f1c.target<int(*)(float)>() != 0 );
+ VERIFY( f1c.target<int(*)(float)>() == &fptr );
+
+ function<int(float)> f2(cref(fptr));
+ VERIFY( f2 );
+ VERIFY( !!f2 );
+ VERIFY( !(f2 == 0) );
+ VERIFY( !(0 == f2) );
+ VERIFY( f2 != 0 );
+ VERIFY( 0 != f2 );
+
+ // Invocation
+ VERIFY( f2(3.1f) == 3 );
+
+ // target_type and target() functions
+ const function<int(float)>& f2c = f2;
+ VERIFY( typeid(int(*)(float)) == f2.target_type() );
+ VERIFY( f2.target<int(*)(float)>() == 0 );
+ VERIFY( f2.target<int(* const)(float)>() == &fptr );
+ VERIFY( f2c.target<int(*)(float)>() != 0 );
+ VERIFY( f2c.target<int(*)(float)>() == &fptr );
+}
+
+int main()
+{
+ test07();
+ return 0;
+}
diff --git a/libstdc++-v3/testsuite/20_util/function/8.cc b/libstdc++-v3/testsuite/20_util/function/8.cc
new file mode 100644
index 000000000..620f61610
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/function/8.cc
@@ -0,0 +1,148 @@
+// { dg-options "-std=gnu++0x" }
+// 2005-01-15 Douglas Gregor <dgregor@cs.indiana.edu>
+//
+// Copyright (C) 2005, 2009 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// 20.7.15 polymorphic function object wrapper
+#include <functional>
+#include <testsuite_hooks.h>
+#include <testsuite_tr1.h>
+
+using namespace __gnu_test;
+
+bool test __attribute__((unused)) = true;
+
+// Put reference_wrappers to member pointers
+void test08()
+{
+ using std::function;
+ using std::ref;
+ using std::cref;
+
+ int X::* X_bar = &X::bar;
+ int (X::* X_foo)() = &X::foo;
+ int (X::* X_foo_c)() const = &X::foo_c;
+ int (X::* X_foo_v)() volatile = &X::foo_v;
+ int (X::* X_foo_cv)() const volatile = &X::foo_cv;
+
+ X x;
+ x.bar = 17;
+
+ function<int(X&)> frm(ref(X_bar));
+ VERIFY( frm );
+ VERIFY( frm(x) == 17 );
+ VERIFY( typeid(int X::*) == frm.target_type() );
+ VERIFY( frm.target<int X::*>() == &X_bar );
+
+ function<int(X&)> fr(ref(X_foo));
+ VERIFY( fr );
+ VERIFY( fr(x) == 1 );
+ VERIFY( typeid(int (X::*)()) == fr.target_type() );
+ VERIFY( fr.target<int (X::*)()>() == &X_foo );
+
+ function<int(const X&)> frc(ref(X_foo_c));
+ VERIFY( frc );
+ VERIFY( frc(x) == 2 );
+ VERIFY( typeid(int (X::*)() const) == frc.target_type() );
+ VERIFY( frc.target<int (X::*)() const >() == &X_foo_c );
+
+ function<int(volatile X&)> frv(ref(X_foo_v));
+ VERIFY( frv );
+ VERIFY( frv(x) == 3 );
+ VERIFY( typeid(int (X::*)() volatile) == frv.target_type() );
+ VERIFY( *frv.target<int (X::*)() volatile >() == X_foo_v );
+ VERIFY( frv.target<int (X::*)() const volatile>() == 0 );
+
+ function<int(const volatile X&)> frcv(ref(X_foo_cv));
+ VERIFY( frcv );
+ VERIFY( frcv(x) == 4 );
+ VERIFY( typeid(int (X::*)() const volatile) == frcv.target_type() );
+ VERIFY( *frcv.target<int (X::*)() const volatile >() == X_foo_cv );
+ VERIFY( frcv.target<int (X::*)() const>() == 0 );
+
+ function<int(X*)> grm(ref(X_bar));
+ VERIFY( grm );
+ VERIFY( grm(&x) == 17 );
+ VERIFY( typeid(int X::*) == grm.target_type() );
+ VERIFY( *grm.target<int X::*>() == X_bar );
+
+ function<int(X*)> gr(ref(X_foo));
+ VERIFY( gr );
+ VERIFY( gr(&x) == 1 );
+ VERIFY( typeid(int (X::*)()) == gr.target_type() );
+ VERIFY( *gr.target<int (X::*)()>() == X_foo );
+
+ function<int(const X*)> grc(ref(X_foo_c));
+ VERIFY( grc );
+ VERIFY( grc(&x) == 2 );
+ VERIFY( typeid(int (X::*)() const) == grc.target_type() );
+ VERIFY( *grc.target<int (X::*)() const >() == X_foo_c );
+
+ function<int(volatile X*)> grv(ref(X_foo_v));
+ VERIFY( grv );
+ VERIFY( grv(&x) == 3 );
+ VERIFY( typeid(int (X::*)() volatile) == grv.target_type() );
+ VERIFY( *grv.target<int (X::*)() volatile >() == X_foo_v );
+ VERIFY( grv.target<int (X::*)() const volatile>() == 0 );
+
+ function<int(const volatile X*)> grcv(ref(X_foo_cv));
+ VERIFY( grcv );
+ VERIFY( grcv(&x) == 4 );
+ VERIFY( typeid(int (X::*)() const volatile) == grcv.target_type() );
+ VERIFY( *grcv.target<int (X::*)() const volatile >() == X_foo_cv );
+ VERIFY( grcv.target<int (X::*)() const>() == 0 );
+
+ function<int(X&)> hrm(cref(X_bar));
+ VERIFY( hrm );
+ VERIFY( hrm(x) == 17 );
+ VERIFY( typeid(int X::*) == hrm.target_type() );
+ VERIFY( hrm.target<int X::*>() == 0 );
+ VERIFY( hrm.target<int X::* const>() == &X_bar );
+
+ function<int(X&)> hr(cref(X_foo));
+ VERIFY( hr );
+ VERIFY( hr(x) == 1 );
+ VERIFY( typeid(int (X::*)()) == hr.target_type() );
+ VERIFY( hr.target<int (X::* const)()>() == &X_foo );
+
+ function<int(const X&)> hrc(cref(X_foo_c));
+ VERIFY( hrc );
+ VERIFY( hrc(x) == 2 );
+ VERIFY( typeid(int (X::*)() const) == hrc.target_type() );
+ VERIFY( hrc.target<int (X::* const)() const >() == &X_foo_c );
+
+ function<int(volatile X&)> hrv(cref(X_foo_v));
+ VERIFY( hrv );
+ VERIFY( hrv(x) == 3 );
+ VERIFY( typeid(int (X::*)() volatile) == hrv.target_type() );
+ VERIFY( hrv.target<int (X::* const)() volatile >() == &X_foo_v );
+ VERIFY( hrv.target<int (X::* const)() const volatile>() == 0 );
+
+ function<int(const volatile X&)> hrcv(cref(X_foo_cv));
+ VERIFY( hrcv );
+ VERIFY( hrcv(x) == 4 );
+ VERIFY( typeid(int (X::*)() const volatile) == hrcv.target_type() );
+ VERIFY( hrcv.target<int (X::* const)() const volatile >() == &X_foo_cv );
+ VERIFY( hrcv.target<int (X::* const)() const>() == 0 );
+}
+
+int main()
+{
+ test08();
+ return 0;
+}
diff --git a/libstdc++-v3/testsuite/20_util/function/9.cc b/libstdc++-v3/testsuite/20_util/function/9.cc
new file mode 100644
index 000000000..474ce6145
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/function/9.cc
@@ -0,0 +1,55 @@
+// { dg-options "-std=gnu++0x" }
+// 2005-01-15 Douglas Gregor <dgregor@cs.indiana.edu>
+//
+// Copyright (C) 2005, 2009 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+//
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// 20.7.15 polymorphic function object wrapper
+#include <functional>
+#include <testsuite_hooks.h>
+#include <testsuite_tr1.h>
+
+using namespace __gnu_test;
+
+bool test __attribute__((unused)) = true;
+
+// Put function objects into a void-returning function<> wrapper
+void test09()
+{
+ using std::function;
+ using std::ref;
+ using std::cref;
+
+ int (X::*X_foo_c)() const = &X::foo_c;
+ function<void(X&)> f(&X::bar);
+ f = &X::foo;
+ f = ref(X_foo_c);
+ f = cref(X_foo_c);
+
+ function<void(float)> g = &truncate_float;
+ g = do_truncate_float_t();
+}
+
+int main()
+{
+ test09();
+
+ VERIFY( do_truncate_double_t::live_objects == 0 );
+ VERIFY( do_truncate_float_t::live_objects == 0 );
+
+ return 0;
+}
diff --git a/libstdc++-v3/testsuite/20_util/function/assign/move.cc b/libstdc++-v3/testsuite/20_util/function/assign/move.cc
new file mode 100644
index 000000000..a2ab96245
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/function/assign/move.cc
@@ -0,0 +1,50 @@
+// { dg-options "-std=gnu++0x" }
+
+// Copyright (C) 2009 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+#include <functional>
+#include <testsuite_hooks.h>
+
+int f1() { return 1; }
+struct { int operator()() { return 2; } } f2;
+
+void test01()
+{
+ bool test __attribute__((unused)) = true;
+
+ typedef std::function<int()> function;
+
+ function fo(f1);
+ function fo1;
+ fo1 = (std::move(fo));
+ VERIFY( static_cast<bool>(fo1) );
+ VERIFY( fo1() == 1 );
+
+ fo = function(f2);
+ function fo2;
+ fo2 = (std::move(fo));
+ VERIFY( static_cast<bool>(fo2) );
+ VERIFY( fo2() == 2 );
+}
+
+int main()
+{
+ test01();
+
+ return 0;
+}
diff --git a/libstdc++-v3/testsuite/20_util/function/assign/move_target.cc b/libstdc++-v3/testsuite/20_util/function/assign/move_target.cc
new file mode 100644
index 000000000..0a1c189e5
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/function/assign/move_target.cc
@@ -0,0 +1,47 @@
+// { dg-options "-std=gnu++0x" }
+
+// Copyright (C) 2009 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+#include <functional>
+
+struct moveable
+{
+ moveable() = default;
+ ~moveable() = default;
+ // target object must be CopyConstructible,
+ // but should not be copied during this test
+ moveable(const moveable& c) { throw "copied"; }
+ moveable& operator=(const moveable&) = delete;
+ moveable(moveable&&) { }
+
+ void operator()() const { }
+};
+
+void test01()
+{
+ std::function<void ()> f;
+ f = moveable();
+ f();
+}
+
+int main()
+{
+ test01();
+
+ return 0;
+}
diff --git a/libstdc++-v3/testsuite/20_util/function/cmp/cmp_neg.cc b/libstdc++-v3/testsuite/20_util/function/cmp/cmp_neg.cc
new file mode 100644
index 000000000..28c0e12d1
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/function/cmp/cmp_neg.cc
@@ -0,0 +1,32 @@
+// { dg-options "-std=gnu++0x" }
+// { dg-do compile }
+
+// Copyright (C) 2009, 2010 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-prune-output "include" }
+
+#include <functional>
+
+void test01()
+{
+ std::function<void()> f1;
+ std::function<void()> f2;
+ f1 == f2; // { dg-error "no match" }
+ f1 != f2; // { dg-error "no match" }
+}
+// { dg-excess-errors "candidates are" }
diff --git a/libstdc++-v3/testsuite/20_util/function/cons/move.cc b/libstdc++-v3/testsuite/20_util/function/cons/move.cc
new file mode 100644
index 000000000..43d71858c
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/function/cons/move.cc
@@ -0,0 +1,48 @@
+// { dg-options "-std=gnu++0x" }
+
+// Copyright (C) 2009 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+#include <functional>
+#include <testsuite_hooks.h>
+
+int f1() { return 1; }
+struct { int operator()() { return 2; } } f2;
+
+void test01()
+{
+ bool test __attribute__((unused)) = true;
+
+ typedef std::function<int()> function;
+
+ function fo(f1);
+ function fo1(std::move(fo));
+ VERIFY( static_cast<bool>(fo1) );
+ VERIFY( fo1() == 1 );
+
+ fo = function(f2);
+ function fo2(std::move(fo));
+ VERIFY( static_cast<bool>(fo2) );
+ VERIFY( fo2() == 2 );
+}
+
+int main()
+{
+ test01();
+
+ return 0;
+}
diff --git a/libstdc++-v3/testsuite/20_util/function/cons/move_target.cc b/libstdc++-v3/testsuite/20_util/function/cons/move_target.cc
new file mode 100644
index 000000000..2396ca101
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/function/cons/move_target.cc
@@ -0,0 +1,46 @@
+// { dg-options "-std=gnu++0x" }
+
+// Copyright (C) 2009 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+#include <functional>
+
+struct moveable
+{
+ moveable() = default;
+ ~moveable() = default;
+ // target object must be CopyConstructible,
+ // but should not be copied during this test
+ moveable(const moveable& c) { throw "copied"; }
+ moveable& operator=(const moveable&) = delete;
+ moveable(moveable&&) { }
+
+ void operator()() const { }
+};
+
+void test01()
+{
+ std::function<void ()> f = moveable();
+ f();
+}
+
+int main()
+{
+ test01();
+
+ return 0;
+}
diff --git a/libstdc++-v3/testsuite/20_util/function/invoke/move_only.cc b/libstdc++-v3/testsuite/20_util/function/invoke/move_only.cc
new file mode 100644
index 000000000..fbfb0624a
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/function/invoke/move_only.cc
@@ -0,0 +1,61 @@
+// { dg-options "-std=gnu++0x" }
+
+// Copyright (C) 2009 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+#include <functional>
+
+struct moveable
+{
+ moveable() = default;
+ ~moveable() = default;
+ moveable(const moveable& c) = delete;
+ moveable& operator=(const moveable&) = delete;
+ moveable(moveable&&) { }
+};
+
+void f1(moveable) { }
+void f2(moveable&&) { }
+struct { void operator()(moveable&&) { } } f3;
+
+void test01()
+{
+ std::function<void (moveable)> fo1a(f1);
+ fo1a(moveable());
+
+ std::function<void (moveable)> fo2a(f2);
+ fo2a(moveable());
+
+ std::function<void (moveable)> fo3a(f3);
+ fo3a(moveable());
+
+ std::function<void (moveable&&)> fo1b(f1);
+ fo1b(moveable());
+
+ std::function<void (moveable&&)> fo2b(f2);
+ fo2b(moveable());
+
+ std::function<void (moveable&&)> fo3b(f3);
+ fo3b(moveable());
+}
+
+int main()
+{
+ test01();
+
+ return 0;
+}
diff --git a/libstdc++-v3/testsuite/20_util/function/null_pointer_comparisons.cc b/libstdc++-v3/testsuite/20_util/function/null_pointer_comparisons.cc
new file mode 100644
index 000000000..7f446d7d6
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/function/null_pointer_comparisons.cc
@@ -0,0 +1,44 @@
+// { dg-options "-std=gnu++0x" }
+// { dg-do compile }
+
+// Copyright (C) 2009 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+#include <functional>
+
+// libstdc++/40273
+int main()
+{
+ std::function<void* ()> f = 0;
+ if (f != 0)
+ {
+ }
+
+ if (0 != f)
+ {
+ }
+
+ if (f == 0)
+ {
+ }
+
+ if (0 == f)
+ {
+ }
+ return 0;
+}
+
diff --git a/libstdc++-v3/testsuite/20_util/function/requirements/explicit_instantiation.cc b/libstdc++-v3/testsuite/20_util/function/requirements/explicit_instantiation.cc
new file mode 100644
index 000000000..dbd8be630
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/function/requirements/explicit_instantiation.cc
@@ -0,0 +1,26 @@
+// { dg-options "-std=gnu++0x" }
+// { dg-do compile }
+
+// Copyright (C) 2009 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+#include <functional>
+
+namespace std
+{
+ template class function<void* ()>;
+}