F.pass.cpp revision f5256e16dfc425c1d466f6308d4026d529ce9e0b 
1//===----------------------------------------------------------------------===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10// <functional>
11
12// class function<R(ArgTypes...)>
13
14// function(nullptr_t);
15
16#include <functional>
17#include <new>
18#include <cstdlib>
19#include <cassert>
20
21int new_called = 0;
22
23void* operator new(std::size_t s) throw(std::bad_alloc)
24{
25    ++new_called;
26    return std::malloc(s);
27}
28
29void  operator delete(void* p) throw()
30{
31    --new_called;
32    std::free(p);
33}
34
35class A
36{
37    int data_[10];
38public:
39    static int count;
40
41    A()
42    {
43        ++count;
44        for (int i = 0; i < 10; ++i)
45            data_[i] = i;
46    }
47
48    A(const A&) {++count;}
49
50    ~A() {--count;}
51
52    int operator()(int i) const
53    {
54        for (int j = 0; j < 10; ++j)
55            i += data_[j];
56        return i;
57    }
58
59    int foo(int) const {return 1;}
60};
61
62int A::count = 0;
63
64int g(int) {return 0;}
65
66int main()
67{
68    assert(new_called == 0);
69    {
70    std::function<int(int)> f = A();
71    assert(A::count == 1);
72    assert(new_called == 1);
73    assert(f.target<A>());
74    assert(f.target<int(*)(int)>() == 0);
75    }
76    assert(A::count == 0);
77    assert(new_called == 0);
78    {
79    std::function<int(int)> f = g;
80    assert(new_called == 0);
81    assert(f.target<int(*)(int)>());
82    assert(f.target<A>() == 0);
83    }
84    assert(new_called == 0);
85    {
86    std::function<int(int)> f = (int (*)(int))0;
87    assert(!f);
88    assert(new_called == 0);
89    assert(f.target<int(*)(int)>() == 0);
90    assert(f.target<A>() == 0);
91    }
92    {
93    std::function<int(const A*, int)> f = &A::foo;
94    assert(f);
95    assert(new_called == 0);
96    assert(f.target<int (A::*)(int) const>() != 0);
97    }
98}
99