member_function_volatile.pass.cpp revision a4c0d87a84b5d324726b334d10fe2f8c24215fad 
1//===----------------------------------------------------------------------===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10// <functional>
11
12// template<Returnable R, class T, CopyConstructible... Args>
13//   unspecified mem_fn(R (T::* pm)(Args...) volatile);
14
15#include <functional>
16#include <cassert>
17
18struct A
19{
20    char test0() volatile {return 'a';}
21    char test1(int) volatile {return 'b';}
22    char test2(int, double) volatile {return 'c';}
23};
24
25template <class F>
26void
27test0(F f)
28{
29    {
30    A a;
31    assert(f(a) == 'a');
32    A* ap = &a;
33    assert(f(ap) == 'a');
34    volatile A* cap = &a;
35    assert(f(cap) == 'a');
36    const F& cf = f;
37    assert(cf(ap) == 'a');
38    }
39}
40
41template <class F>
42void
43test1(F f)
44{
45    {
46    A a;
47    assert(f(a, 1) == 'b');
48    A* ap = &a;
49    assert(f(ap, 2) == 'b');
50    volatile A* cap = &a;
51    assert(f(cap, 2) == 'b');
52    const F& cf = f;
53    assert(cf(ap, 2) == 'b');
54    }
55}
56
57template <class F>
58void
59test2(F f)
60{
61    {
62    A a;
63    assert(f(a, 1, 2) == 'c');
64    A* ap = &a;
65    assert(f(ap, 2, 3.5) == 'c');
66    volatile A* cap = &a;
67    assert(f(cap, 2, 3.5) == 'c');
68    const F& cf = f;
69    assert(cf(ap, 2, 3.5) == 'c');
70    }
71}
72
73int main()
74{
75    test0(std::mem_fn(&A::test0));
76    test1(std::mem_fn(&A::test1));
77    test2(std::mem_fn(&A::test2));
78}
79