/src/llvm-project/clang/lib/Sema/UsedDeclVisitor.h
Line | Count | Source (jump to first uncovered line) |
1 | | //===- UsedDeclVisitor.h - ODR-used declarations visitor --------*- C++ -*-===// |
2 | | // |
3 | | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
4 | | // See https://llvm.org/LICENSE.txt for license information. |
5 | | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
6 | | //===----------------------------------------------------------------------===// |
7 | | // |
8 | | // This file defines UsedDeclVisitor, a CRTP class which visits all the |
9 | | // declarations that are ODR-used by an expression or statement. |
10 | | // |
11 | | //===----------------------------------------------------------------------===// |
12 | | |
13 | | #ifndef LLVM_CLANG_LIB_SEMA_USEDDECLVISITOR_H |
14 | | #define LLVM_CLANG_LIB_SEMA_USEDDECLVISITOR_H |
15 | | |
16 | | #include "clang/AST/EvaluatedExprVisitor.h" |
17 | | #include "clang/Sema/SemaInternal.h" |
18 | | |
19 | | namespace clang { |
20 | | template <class Derived> |
21 | | class UsedDeclVisitor : public EvaluatedExprVisitor<Derived> { |
22 | | protected: |
23 | | Sema &S; |
24 | | |
25 | | public: |
26 | | typedef EvaluatedExprVisitor<Derived> Inherited; |
27 | | |
28 | 0 | UsedDeclVisitor(Sema &S) : Inherited(S.Context), S(S) {} Unexecuted instantiation: Sema.cpp:clang::UsedDeclVisitor<(anonymous namespace)::DeferredDiagnosticsEmitter>::UsedDeclVisitor(clang::Sema&) Unexecuted instantiation: SemaExpr.cpp:clang::UsedDeclVisitor<(anonymous namespace)::EvaluatedExprMarker>::UsedDeclVisitor(clang::Sema&) |
29 | | |
30 | 0 | Derived &asImpl() { return *static_cast<Derived *>(this); } Unexecuted instantiation: Sema.cpp:clang::UsedDeclVisitor<(anonymous namespace)::DeferredDiagnosticsEmitter>::asImpl() Unexecuted instantiation: SemaExpr.cpp:clang::UsedDeclVisitor<(anonymous namespace)::EvaluatedExprMarker>::asImpl() |
31 | | |
32 | 0 | void VisitDeclRefExpr(DeclRefExpr *E) { |
33 | 0 | auto *D = E->getDecl(); |
34 | 0 | if (isa<FunctionDecl>(D) || isa<VarDecl>(D)) { |
35 | 0 | asImpl().visitUsedDecl(E->getLocation(), D); |
36 | 0 | } |
37 | 0 | } |
38 | | |
39 | 0 | void VisitMemberExpr(MemberExpr *E) { |
40 | 0 | auto *D = E->getMemberDecl(); |
41 | 0 | if (isa<FunctionDecl>(D) || isa<VarDecl>(D)) { |
42 | 0 | asImpl().visitUsedDecl(E->getMemberLoc(), D); |
43 | 0 | } |
44 | 0 | asImpl().Visit(E->getBase()); |
45 | 0 | } |
46 | | |
47 | 0 | void VisitCapturedStmt(CapturedStmt *Node) { |
48 | 0 | asImpl().visitUsedDecl(Node->getBeginLoc(), Node->getCapturedDecl()); |
49 | 0 | Inherited::VisitCapturedStmt(Node); |
50 | 0 | } Unexecuted instantiation: Sema.cpp:clang::UsedDeclVisitor<(anonymous namespace)::DeferredDiagnosticsEmitter>::VisitCapturedStmt(clang::CapturedStmt*) Unexecuted instantiation: SemaExpr.cpp:clang::UsedDeclVisitor<(anonymous namespace)::EvaluatedExprMarker>::VisitCapturedStmt(clang::CapturedStmt*) |
51 | | |
52 | 0 | void VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *E) { |
53 | 0 | asImpl().visitUsedDecl( |
54 | 0 | E->getBeginLoc(), |
55 | 0 | const_cast<CXXDestructorDecl *>(E->getTemporary()->getDestructor())); |
56 | 0 | asImpl().Visit(E->getSubExpr()); |
57 | 0 | } Unexecuted instantiation: Sema.cpp:clang::UsedDeclVisitor<(anonymous namespace)::DeferredDiagnosticsEmitter>::VisitCXXBindTemporaryExpr(clang::CXXBindTemporaryExpr*) Unexecuted instantiation: SemaExpr.cpp:clang::UsedDeclVisitor<(anonymous namespace)::EvaluatedExprMarker>::VisitCXXBindTemporaryExpr(clang::CXXBindTemporaryExpr*) |
58 | | |
59 | 0 | void VisitCXXNewExpr(CXXNewExpr *E) { |
60 | 0 | if (E->getOperatorNew()) |
61 | 0 | asImpl().visitUsedDecl(E->getBeginLoc(), E->getOperatorNew()); |
62 | 0 | if (E->getOperatorDelete()) |
63 | 0 | asImpl().visitUsedDecl(E->getBeginLoc(), E->getOperatorDelete()); |
64 | 0 | Inherited::VisitCXXNewExpr(E); |
65 | 0 | } Unexecuted instantiation: Sema.cpp:clang::UsedDeclVisitor<(anonymous namespace)::DeferredDiagnosticsEmitter>::VisitCXXNewExpr(clang::CXXNewExpr*) Unexecuted instantiation: SemaExpr.cpp:clang::UsedDeclVisitor<(anonymous namespace)::EvaluatedExprMarker>::VisitCXXNewExpr(clang::CXXNewExpr*) |
66 | | |
67 | 0 | void VisitCXXDeleteExpr(CXXDeleteExpr *E) { |
68 | 0 | if (E->getOperatorDelete()) |
69 | 0 | asImpl().visitUsedDecl(E->getBeginLoc(), E->getOperatorDelete()); |
70 | 0 | QualType DestroyedOrNull = E->getDestroyedType(); |
71 | 0 | if (!DestroyedOrNull.isNull()) { |
72 | 0 | QualType Destroyed = S.Context.getBaseElementType(DestroyedOrNull); |
73 | 0 | if (const RecordType *DestroyedRec = Destroyed->getAs<RecordType>()) { |
74 | 0 | CXXRecordDecl *Record = cast<CXXRecordDecl>(DestroyedRec->getDecl()); |
75 | 0 | if (Record->getDefinition()) |
76 | 0 | asImpl().visitUsedDecl(E->getBeginLoc(), S.LookupDestructor(Record)); |
77 | 0 | } |
78 | 0 | } |
79 | |
|
80 | 0 | Inherited::VisitCXXDeleteExpr(E); |
81 | 0 | } Unexecuted instantiation: Sema.cpp:clang::UsedDeclVisitor<(anonymous namespace)::DeferredDiagnosticsEmitter>::VisitCXXDeleteExpr(clang::CXXDeleteExpr*) Unexecuted instantiation: SemaExpr.cpp:clang::UsedDeclVisitor<(anonymous namespace)::EvaluatedExprMarker>::VisitCXXDeleteExpr(clang::CXXDeleteExpr*) |
82 | | |
83 | 0 | void VisitCXXConstructExpr(CXXConstructExpr *E) { |
84 | 0 | asImpl().visitUsedDecl(E->getBeginLoc(), E->getConstructor()); |
85 | 0 | CXXConstructorDecl *D = E->getConstructor(); |
86 | 0 | for (const CXXCtorInitializer *Init : D->inits()) { |
87 | 0 | if (Init->isInClassMemberInitializer()) |
88 | 0 | asImpl().Visit(Init->getInit()); |
89 | 0 | } |
90 | 0 | Inherited::VisitCXXConstructExpr(E); |
91 | 0 | } Unexecuted instantiation: Sema.cpp:clang::UsedDeclVisitor<(anonymous namespace)::DeferredDiagnosticsEmitter>::VisitCXXConstructExpr(clang::CXXConstructExpr*) Unexecuted instantiation: SemaExpr.cpp:clang::UsedDeclVisitor<(anonymous namespace)::EvaluatedExprMarker>::VisitCXXConstructExpr(clang::CXXConstructExpr*) |
92 | | |
93 | 0 | void VisitCXXDefaultArgExpr(CXXDefaultArgExpr *E) { |
94 | 0 | asImpl().Visit(E->getExpr()); |
95 | 0 | Inherited::VisitCXXDefaultArgExpr(E); |
96 | 0 | } Unexecuted instantiation: Sema.cpp:clang::UsedDeclVisitor<(anonymous namespace)::DeferredDiagnosticsEmitter>::VisitCXXDefaultArgExpr(clang::CXXDefaultArgExpr*) Unexecuted instantiation: SemaExpr.cpp:clang::UsedDeclVisitor<(anonymous namespace)::EvaluatedExprMarker>::VisitCXXDefaultArgExpr(clang::CXXDefaultArgExpr*) |
97 | | |
98 | 0 | void VisitCXXDefaultInitExpr(CXXDefaultInitExpr *E) { |
99 | 0 | asImpl().Visit(E->getExpr()); |
100 | 0 | Inherited::VisitCXXDefaultInitExpr(E); |
101 | 0 | } Unexecuted instantiation: Sema.cpp:clang::UsedDeclVisitor<(anonymous namespace)::DeferredDiagnosticsEmitter>::VisitCXXDefaultInitExpr(clang::CXXDefaultInitExpr*) Unexecuted instantiation: SemaExpr.cpp:clang::UsedDeclVisitor<(anonymous namespace)::EvaluatedExprMarker>::VisitCXXDefaultInitExpr(clang::CXXDefaultInitExpr*) |
102 | | |
103 | 0 | void VisitInitListExpr(InitListExpr *ILE) { |
104 | 0 | if (ILE->hasArrayFiller()) |
105 | 0 | asImpl().Visit(ILE->getArrayFiller()); |
106 | 0 | Inherited::VisitInitListExpr(ILE); |
107 | 0 | } Unexecuted instantiation: Sema.cpp:clang::UsedDeclVisitor<(anonymous namespace)::DeferredDiagnosticsEmitter>::VisitInitListExpr(clang::InitListExpr*) Unexecuted instantiation: SemaExpr.cpp:clang::UsedDeclVisitor<(anonymous namespace)::EvaluatedExprMarker>::VisitInitListExpr(clang::InitListExpr*) |
108 | | |
109 | 0 | void visitUsedDecl(SourceLocation Loc, Decl *D) { |
110 | 0 | if (auto *CD = dyn_cast<CapturedDecl>(D)) { |
111 | 0 | if (auto *S = CD->getBody()) { |
112 | 0 | asImpl().Visit(S); |
113 | 0 | } |
114 | 0 | } else if (auto *CD = dyn_cast<BlockDecl>(D)) { |
115 | 0 | if (auto *S = CD->getBody()) { |
116 | 0 | asImpl().Visit(S); |
117 | 0 | } |
118 | 0 | } |
119 | 0 | } |
120 | | }; |
121 | | } // end namespace clang |
122 | | |
123 | | #endif // LLVM_CLANG_LIB_SEMA_USEDDECLVISITOR_H |