1 files changed, 80 insertions, 0 deletions
diff --git a/libstdc++-v3/testsuite/20_util/reference_wrapper/24803.cc b/libstdc++-v3/testsuite/20_util/reference_wrapper/24803.cc
new file mode 100644
index 000000000..4bf61485c
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/reference_wrapper/24803.cc
@@ -0,0 +1,80 @@
+// { dg-options "-std=gnu++0x" }
+// { dg-do compile }
+
+// Copyright (C) 2008, 2009, 2010, 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/>.
+
+
+#include <functional>
+
+struct test_type
+{
+   int member();
+   int cmember()const;
+   int member2(char);
+   int cmember2(char)const;
+};
+
+struct functor1 : public std::unary_function<int, double>
+{
+  double operator()(int) const;
+};
+
+struct functor2 : public std::binary_function<int, char, double>
+{
+   double operator()(int, char) const;
+};
+
+template <class T>
+void verify_return_type(T, T)
+{
+}
+
+void test01()
+{
+  test_type* null_tt = 0;
+  const test_type* null_ttc = 0;
+  int zero;
+
+  std::reference_wrapper<double (int)>* pr1(0);
+  verify_return_type((*pr1)(0), double());
+  std::reference_wrapper<double (*)(int)>* pr2(0);
+  verify_return_type((*pr2)(0), double());
+  std::reference_wrapper<int (test_type::*)()>* pr3(0);
+  verify_return_type((*pr3)(null_tt), int());
+  std::reference_wrapper<int (test_type::*)()const>* pr4(0);
+  verify_return_type((*pr4)(null_ttc), int());
+  std::reference_wrapper<functor1>* pr5(0);
+
+  // libstdc++/24803
+  verify_return_type((*pr5)(0), double());
+  verify_return_type((*pr5)(zero), double());
+
+  std::reference_wrapper<double (int, char)>* pr1b(0);
+  verify_return_type((*pr1b)(0, 0), double());
+  std::reference_wrapper<double (*)(int, char)>* pr2b(0);
+  verify_return_type((*pr2b)(0, 0), double());
+  std::reference_wrapper<int (test_type::*)(char)>* pr3b(0);
+  verify_return_type((*pr3b)(null_tt,zero), int());
+  std::reference_wrapper<int (test_type::*)()const>* pr4b(0);
+  verify_return_type((*pr4b)(null_ttc), int());
+  std::reference_wrapper<functor2>* pr5b(0);
+
+  // libstdc++/24803
+  verify_return_type((*pr5b)(0, 0), double());
+  verify_return_type((*pr5b)(zero, zero), double());
+}