2010-01-12 Jonathan Wakely <jwakely.gcc@gmail.com>

	PR libstdc++/24803
	PR libstdc++/35569
	PR libstdc++/42593
	* include/std/functional (bind): Forward rvalues and detect correct
	result type of bound function object.
	* include/std/mutex (call_once): Specify bind result type.
	* testsuite/20_util/reference_wrapper/invoke.cc: Remove invalid tests.
	* testsuite/20_util/reference_wrapper/24803.cc: Remove invalid tests
	and enable FIXME tests.
	* testsuite/20_util/bind/35569.cc: New.
	* testsuite/20_util/bind/ref2.cc: New.
	* testsuite/20_util/bind/38889.cc: New.
	* testsuite/20_util/bind/ref_neg.cc: New.
	* testsuite/20_util/bind/42593.cc: New.



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

1 files changed, 59 insertions, 0 deletions

diff --git a/libstdc++-v3/testsuite/20_util/bind/ref_neg.cc b/libstdc++-v3/testsuite/20_util/bind/ref_neg.cc
new file mode 100644
index 00000000000..060bf8715d8
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/bind/ref_neg.cc
@@ -0,0 +1,59 @@
+// 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.7.11 Function template bind
+
+// { dg-do compile }
+// { dg-options "-std=gnu++0x" }
+
+#include <functional>
+
+using namespace std::placeholders;
+
+int inc(int& i) { return ++i; }
+
+void test01()
+{
+  const int dummy = 0;
+  std::bind(&inc, _1)(0);               // { dg-error  ""}
+  std::bind(&inc, std::ref(dummy))();  // { dg-error  ""}
+  std::bind(&inc, dummy)();  // { dg-error  ""}
+  std::bind(&inc, 0)();  // { dg-error  ""}
+}
+
+struct Inc
+{
+  int operator()(int& i) const { return ++i; }
+  void operator()(int&&) const { }
+
+  int f(int&& i) const { return ++i; }
+};
+
+void test02()
+{
+  const int dummy = 0;
+  std::bind(Inc(), _1)(dummy);                  // { dg-error  ""}
+  std::bind(&Inc::f, Inc(), std::ref(dummy))(); // { dg-error  ""}
+}
+
+int main()
+{
+  test01();
+  test02();
+}
+
+// { dg-excess-errors "" }