1// { dg-options "-std=gnu++11" }
2// { dg-do compile }
3
4// Copyright (C) 2008-2015 Free Software Foundation, Inc.
5//
6// This file is part of the GNU ISO C++ Library.  This library is free
7// software; you can redistribute it and/or modify it under the
8// terms of the GNU General Public License as published by the
9// Free Software Foundation; either version 3, or (at your option)
10// any later version.
11//
12// This library is distributed in the hope that it will be useful,
13// but WITHOUT ANY WARRANTY; without even the implied warranty of
14// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15// GNU General Public License for more details.
16//
17// You should have received a copy of the GNU General Public License along
18// with this library; see the file COPYING3.  If not see
19// <http://www.gnu.org/licenses/>.
20
21
22#include <functional>
23
24struct test_type
25{
26   int member();
27   int cmember()const;
28   int member2(char);
29   int cmember2(char)const;
30};
31
32struct functor1 : public std::unary_function<int, double>
33{
34  double operator()(int) const;
35};
36
37struct functor2 : public std::binary_function<int, char, double>
38{
39   double operator()(int, char) const;
40};
41
42template <class T>
43void verify_return_type(T, T)
44{
45}
46
47void test01()
48{
49  test_type* null_tt = 0;
50  const test_type* null_ttc = 0;
51  int zero;
52
53  std::reference_wrapper<double (int)>* pr1(0);
54  verify_return_type((*pr1)(0), double());
55  std::reference_wrapper<double (*)(int)>* pr2(0);
56  verify_return_type((*pr2)(0), double());
57  std::reference_wrapper<int (test_type::*)()>* pr3(0);
58  verify_return_type((*pr3)(null_tt), int());
59  std::reference_wrapper<int (test_type::*)()const>* pr4(0);
60  verify_return_type((*pr4)(null_ttc), int());
61  std::reference_wrapper<functor1>* pr5(0);
62
63  // libstdc++/24803
64  verify_return_type((*pr5)(0), double());
65  verify_return_type((*pr5)(zero), double());
66
67  std::reference_wrapper<double (int, char)>* pr1b(0);
68  verify_return_type((*pr1b)(0, 0), double());
69  std::reference_wrapper<double (*)(int, char)>* pr2b(0);
70  verify_return_type((*pr2b)(0, 0), double());
71  std::reference_wrapper<int (test_type::*)(char)>* pr3b(0);
72  verify_return_type((*pr3b)(null_tt,zero), int());
73  std::reference_wrapper<int (test_type::*)()const>* pr4b(0);
74  verify_return_type((*pr4b)(null_ttc), int());
75  std::reference_wrapper<functor2>* pr5b(0);
76
77  // libstdc++/24803
78  verify_return_type((*pr5b)(0, 0), double());
79  verify_return_type((*pr5b)(zero, zero), double());
80}
81