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
113
114
115
116
117
118
119
120
121
122
123
|
//===- UsedDeclVisitor.h - ODR-used declarations visitor --------*- 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 UsedDeclVisitor, a CRTP class which visits all the
// declarations that are ODR-used by an expression or statement.
//
//===----------------------------------------------------------------------===//
#ifndef LLVM_CLANG_LIB_SEMA_USEDDECLVISITOR_H
#define LLVM_CLANG_LIB_SEMA_USEDDECLVISITOR_H
#include "clang/AST/EvaluatedExprVisitor.h"
#include "clang/Sema/SemaInternal.h"
namespace clang {
template <class Derived>
class UsedDeclVisitor : public EvaluatedExprVisitor<Derived> {
protected:
Sema &S;
public:
typedef EvaluatedExprVisitor<Derived> Inherited;
UsedDeclVisitor(Sema &S) : Inherited(S.Context), S(S) {}
Derived &asImpl() { return *static_cast<Derived *>(this); }
void VisitDeclRefExpr(DeclRefExpr *E) {
auto *D = E->getDecl();
if (isa<FunctionDecl>(D) || isa<VarDecl>(D)) {
asImpl().visitUsedDecl(E->getLocation(), D);
}
}
void VisitMemberExpr(MemberExpr *E) {
auto *D = E->getMemberDecl();
if (isa<FunctionDecl>(D) || isa<VarDecl>(D)) {
asImpl().visitUsedDecl(E->getMemberLoc(), D);
}
asImpl().Visit(E->getBase());
}
void VisitCapturedStmt(CapturedStmt *Node) {
asImpl().visitUsedDecl(Node->getBeginLoc(), Node->getCapturedDecl());
Inherited::VisitCapturedStmt(Node);
}
void VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E) {
asImpl().visitUsedDecl(
E->getBeginLoc(),
const_cast<CXXDestructorDecl *>(E->getTemporary()->getDestructor()));
asImpl().Visit(E->getSubExpr());
}
void VisitCXXNewExpr(CXXNewExpr *E) {
if (E->getOperatorNew())
asImpl().visitUsedDecl(E->getBeginLoc(), E->getOperatorNew());
if (E->getOperatorDelete())
asImpl().visitUsedDecl(E->getBeginLoc(), E->getOperatorDelete());
Inherited::VisitCXXNewExpr(E);
}
void VisitCXXDeleteExpr(CXXDeleteExpr *E) {
if (E->getOperatorDelete())
asImpl().visitUsedDecl(E->getBeginLoc(), E->getOperatorDelete());
QualType DestroyedOrNull = E->getDestroyedType();
if (!DestroyedOrNull.isNull()) {
QualType Destroyed = S.Context.getBaseElementType(DestroyedOrNull);
if (const RecordType *DestroyedRec = Destroyed->getAs<RecordType>()) {
CXXRecordDecl *Record = cast<CXXRecordDecl>(DestroyedRec->getDecl());
if (Record->getDefinition())
asImpl().visitUsedDecl(E->getBeginLoc(), S.LookupDestructor(Record));
}
}
Inherited::VisitCXXDeleteExpr(E);
}
void VisitCXXConstructExpr(CXXConstructExpr *E) {
asImpl().visitUsedDecl(E->getBeginLoc(), E->getConstructor());
CXXConstructorDecl *D = E->getConstructor();
for (const CXXCtorInitializer *Init : D->inits()) {
if (Init->isInClassMemberInitializer())
asImpl().Visit(Init->getInit());
}
Inherited::VisitCXXConstructExpr(E);
}
void VisitCXXDefaultArgExpr(CXXDefaultArgExpr *E) {
asImpl().Visit(E->getExpr());
Inherited::VisitCXXDefaultArgExpr(E);
}
void VisitCXXDefaultInitExpr(CXXDefaultInitExpr *E) {
asImpl().Visit(E->getExpr());
Inherited::VisitCXXDefaultInitExpr(E);
}
void VisitInitListExpr(InitListExpr *ILE) {
if (ILE->hasArrayFiller())
asImpl().Visit(ILE->getArrayFiller());
Inherited::VisitInitListExpr(ILE);
}
void visitUsedDecl(SourceLocation Loc, Decl *D) {
if (auto *CD = dyn_cast<CapturedDecl>(D)) {
if (auto *S = CD->getBody()) {
asImpl().Visit(S);
}
} else if (auto *CD = dyn_cast<BlockDecl>(D)) {
if (auto *S = CD->getBody()) {
asImpl().Visit(S);
}
}
}
};
} // end namespace clang
#endif // LLVM_CLANG_LIB_SEMA_USEDDECLVISITOR_H
|
