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
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
| //===-- NonTrivialTypeVisitor.h - Visitor for non-trivial Types *- C++ --*-===//
//
// 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
//
//===----------------------------------------------------------------------===//
//
// This file defines the visitor classes that are used to traverse non-trivial
// structs.
//
//===----------------------------------------------------------------------===//
#ifndef LLVM_CLANG_NON_TRIVIAL_TYPE_VISITOR_H
#define LLVM_CLANG_NON_TRIVIAL_TYPE_VISITOR_H
#include "clang/AST/Type.h"
namespace clang {
template <class Derived, class RetTy = void> struct DestructedTypeVisitor {
template <class... Ts> RetTy visit(QualType FT, Ts &&... Args) {
return asDerived().visitWithKind(FT.isDestructedType(), FT,
std::forward<Ts>(Args)...);
}
template <class... Ts>
RetTy visitWithKind(QualType::DestructionKind DK, QualType FT,
Ts &&... Args) {
switch (DK) {
case QualType::DK_objc_strong_lifetime:
return asDerived().visitARCStrong(FT, std::forward<Ts>(Args)...);
case QualType::DK_nontrivial_c_struct:
return asDerived().visitStruct(FT, std::forward<Ts>(Args)...);
case QualType::DK_none:
return asDerived().visitTrivial(FT, std::forward<Ts>(Args)...);
case QualType::DK_cxx_destructor:
return asDerived().visitCXXDestructor(FT, std::forward<Ts>(Args)...);
case QualType::DK_objc_weak_lifetime:
return asDerived().visitARCWeak(FT, std::forward<Ts>(Args)...);
}
llvm_unreachable("unknown destruction kind");
}
Derived &asDerived() { return static_cast<Derived &>(*this); }
};
template <class Derived, class RetTy = void>
struct DefaultInitializedTypeVisitor {
template <class... Ts> RetTy visit(QualType FT, Ts &&... Args) {
return asDerived().visitWithKind(
FT.isNonTrivialToPrimitiveDefaultInitialize(), FT,
std::forward<Ts>(Args)...);
}
template <class... Ts>
RetTy visitWithKind(QualType::PrimitiveDefaultInitializeKind PDIK,
QualType FT, Ts &&... Args) {
switch (PDIK) {
case QualType::PDIK_ARCStrong:
return asDerived().visitARCStrong(FT, std::forward<Ts>(Args)...);
case QualType::PDIK_ARCWeak:
return asDerived().visitARCWeak(FT, std::forward<Ts>(Args)...);
case QualType::PDIK_Struct:
return asDerived().visitStruct(FT, std::forward<Ts>(Args)...);
case QualType::PDIK_Trivial:
return asDerived().visitTrivial(FT, std::forward<Ts>(Args)...);
}
llvm_unreachable("unknown default-initialize kind");
}
Derived &asDerived() { return static_cast<Derived &>(*this); }
};
template <class Derived, bool IsMove, class RetTy = void>
struct CopiedTypeVisitor {
template <class... Ts> RetTy visit(QualType FT, Ts &&... Args) {
QualType::PrimitiveCopyKind PCK =
IsMove ? FT.isNonTrivialToPrimitiveDestructiveMove()
: FT.isNonTrivialToPrimitiveCopy();
return asDerived().visitWithKind(PCK, FT, std::forward<Ts>(Args)...);
}
template <class... Ts>
RetTy visitWithKind(QualType::PrimitiveCopyKind PCK, QualType FT,
Ts &&... Args) {
asDerived().preVisit(PCK, FT, std::forward<Ts>(Args)...);
switch (PCK) {
case QualType::PCK_ARCStrong:
return asDerived().visitARCStrong(FT, std::forward<Ts>(Args)...);
case QualType::PCK_ARCWeak:
return asDerived().visitARCWeak(FT, std::forward<Ts>(Args)...);
case QualType::PCK_Struct:
return asDerived().visitStruct(FT, std::forward<Ts>(Args)...);
case QualType::PCK_Trivial:
return asDerived().visitTrivial(FT, std::forward<Ts>(Args)...);
case QualType::PCK_VolatileTrivial:
return asDerived().visitVolatileTrivial(FT, std::forward<Ts>(Args)...);
}
llvm_unreachable("unknown primitive copy kind");
}
Derived &asDerived() { return static_cast<Derived &>(*this); }
};
} // end namespace clang
#endif
|