14 #ifndef LLVM_CLANG_NON_TRIVIAL_TYPE_VISITOR_H 15 #define LLVM_CLANG_NON_TRIVIAL_TYPE_VISITOR_H 24 std::forward<Ts>(Args)...);
27 template <
class... Ts>
32 return asDerived().visitARCStrong(FT, std::forward<Ts>(Args)...);
34 return asDerived().visitStruct(FT, std::forward<Ts>(Args)...);
36 return asDerived().visitTrivial(FT, std::forward<Ts>(Args)...);
38 return asDerived().visitCXXDestructor(FT, std::forward<Ts>(Args)...);
40 return asDerived().visitARCWeak(FT, std::forward<Ts>(Args)...);
43 llvm_unreachable(
"unknown destruction kind");
46 Derived &
asDerived() {
return static_cast<Derived &
>(*this); }
49 template <
class Derived,
class RetTy =
void>
54 std::forward<Ts>(Args)...);
57 template <
class... Ts>
62 return asDerived().visitARCStrong(FT, std::forward<Ts>(Args)...);
64 return asDerived().visitARCWeak(FT, std::forward<Ts>(Args)...);
66 return asDerived().visitStruct(FT, std::forward<Ts>(Args)...);
68 return asDerived().visitTrivial(FT, std::forward<Ts>(Args)...);
71 llvm_unreachable(
"unknown default-initialize kind");
74 Derived &
asDerived() {
return static_cast<Derived &
>(*this); }
77 template <
class Derived,
bool IsMove,
class RetTy =
void>
83 return asDerived().visitWithKind(PCK, FT, std::forward<Ts>(Args)...);
86 template <
class... Ts>
89 asDerived().preVisit(PCK, FT, std::forward<Ts>(Args)...);
93 return asDerived().visitARCStrong(FT, std::forward<Ts>(Args)...);
95 return asDerived().visitARCWeak(FT, std::forward<Ts>(Args)...);
97 return asDerived().visitStruct(FT, std::forward<Ts>(Args)...);
99 return asDerived().visitTrivial(FT, std::forward<Ts>(Args)...);
101 return asDerived().visitVolatileTrivial(FT, std::forward<Ts>(Args)...);
104 llvm_unreachable(
"unknown primitive copy kind");
107 Derived &
asDerived() {
return static_cast<Derived &
>(*this); }
A (possibly-)qualified type.
RetTy visit(QualType FT, Ts &&... Args)
PrimitiveDefaultInitializeKind isNonTrivialToPrimitiveDefaultInitialize() const
Functions to query basic properties of non-trivial C struct types.
C Language Family Type Representation.
The type is a struct containing a field whose type is not PCK_Trivial.
The type would be trivial except that it is volatile-qualified.
The type is an Objective-C retainable pointer type that is qualified with the ARC __strong qualifier...
The type is an Objective-C retainable pointer type that is qualified with the ARC __strong qualifier...
PrimitiveDefaultInitializeKind
The type does not fall into any of the following categories.
The type does not fall into any of the following categories.
RetTy visit(QualType FT, Ts &&... Args)
PrimitiveCopyKind isNonTrivialToPrimitiveDestructiveMove() const
Check if this is a non-trivial type that would cause a C struct transitively containing this type to ...
The type is an Objective-C retainable pointer type that is qualified with the ARC __weak qualifier...
The type is a struct containing a field whose type is neither PCK_Trivial nor PCK_VolatileTrivial.
DestructionKind isDestructedType() const
Returns a nonzero value if objects of this type require non-trivial work to clean up after...
PrimitiveCopyKind isNonTrivialToPrimitiveCopy() const
Check if this is a non-trivial type that would cause a C struct transitively containing this type to ...
The type is an Objective-C retainable pointer type that is qualified with the ARC __weak qualifier...
Dataflow Directional Tag Classes.
RetTy visitWithKind(QualType::PrimitiveCopyKind PCK, QualType FT, Ts &&... Args)
RetTy visitWithKind(QualType::DestructionKind DK, QualType FT, Ts &&... Args)
RetTy visit(QualType FT, Ts &&... Args)
RetTy visitWithKind(QualType::PrimitiveDefaultInitializeKind PDIK, QualType FT, Ts &&... Args)