summaryrefslogtreecommitdiff
path: root/libcxx/test/std/utilities/function.objects/func.memfn/robust_against_adl.pass.cpp
blob: 2bb8e9f49209a8a9b56920256d39026d236dacb9 (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
//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

// <functional>

#include <functional>

#include "test_macros.h"

struct Incomplete;
template<class T> struct Holder { T t; };
typedef Holder<Incomplete> *Ptr;

struct A {
    Ptr no_args() const { return nullptr; }
    Ptr one_arg(Ptr p) const { return p; }
    void one_arg_void(Ptr) const { }
};

int main(int, char**)
{
    A a;
    A *pa = &a;
    const A *cpa = &a;
    Ptr x = nullptr;
    const Ptr cx = nullptr;
    std::mem_fn(&A::no_args)(a);
    std::mem_fn(&A::no_args)(pa);
    std::mem_fn(&A::no_args)(*cpa);
    std::mem_fn(&A::no_args)(cpa);
    std::mem_fn(&A::one_arg)(a, x);
    std::mem_fn(&A::one_arg)(pa, x);
    std::mem_fn(&A::one_arg)(a, cx);
    std::mem_fn(&A::one_arg)(pa, cx);
    std::mem_fn(&A::one_arg)(*cpa, x);
    std::mem_fn(&A::one_arg)(cpa, x);
    std::mem_fn(&A::one_arg)(*cpa, cx);
    std::mem_fn(&A::one_arg)(cpa, cx);
    std::mem_fn(&A::one_arg_void)(a, x);
    std::mem_fn(&A::one_arg_void)(pa, x);
    std::mem_fn(&A::one_arg_void)(a, cx);
    std::mem_fn(&A::one_arg_void)(pa, cx);
    std::mem_fn(&A::one_arg_void)(*cpa, x);
    std::mem_fn(&A::one_arg_void)(cpa, x);
    std::mem_fn(&A::one_arg_void)(*cpa, cx);
    std::mem_fn(&A::one_arg_void)(cpa, cx);
    return 0;
}