aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/g++.dg/cpp0x/pr52744.C
blob: 1a01fb2957f307d26d6680e0f46d1e5784ac7852 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
// PR c++/52744
// { dg-do compile { target c++11 } }

struct T
{
  int a;
  void b(){}
  int c(int)
  {
    return 1;
    }
};

template<typename CT, CT> struct member_helper;

template<typename FT, FT(T::*mem)>
struct member_helper<FT(T::*), mem>
{
  static const char* worker()
  {
    return "for members";
  }
};

template<typename Return, typename... Args, Return(T::*fun)(Args...)>
struct member_helper<Return(T::*)(Args...), fun>
{
  static const char* worker()
  {
    return "for member functions returning non void";
  }
};

template<typename... Args, void(T::*fun)(Args...)>
struct member_helper<void(T::*)(Args...), fun>
{
  static const char* worker()
  {
    return "for member functions returning void";
  }
};

void member_test()
{
  member_helper<decltype(&T::a), &T::a>::worker();
  member_helper<decltype(&T::b), &T::b>::worker();
  member_helper<decltype(&T::c), &T::c>::worker();
}

typedef void lua_State;

template<typename T, T> class function_helper
{
  static_assert(sizeof(T) != sizeof(T),
		"Error: function_helper works with functions (duh)");
};

template<typename Return, typename... Args, Return(*func)(Args...)>
struct function_helper<Return(*)(Args...), func>
{
  static int wrapper(lua_State* l)
  {
    return 1;
  }
};

template<typename... Args, void(*func)(Args...)>
struct function_helper<void(*)(Args...), func>
{
  static int wrapper(lua_State* l)
  {
    return 0;
  }
};

int ciao(int){ return 0; }
void ciao2(int){}

void function_test()
{
  function_helper<decltype(&ciao), &ciao>::wrapper(0);
  function_helper<decltype(&ciao2), &ciao2>::wrapper(0);
}