clang 17.0.0git
ParentMap.cpp
Go to the documentation of this file.
1//===--- ParentMap.cpp - Mappings from Stmts to their Parents ---*- 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//
9// This file defines the ParentMap class.
10//
11//===----------------------------------------------------------------------===//
12
13#include "clang/AST/ParentMap.h"
14#include "clang/AST/Decl.h"
15#include "clang/AST/Expr.h"
16#include "clang/AST/ExprCXX.h"
17#include "clang/AST/StmtObjC.h"
18#include "llvm/ADT/DenseMap.h"
19
20using namespace clang;
21
22typedef llvm::DenseMap<Stmt*, Stmt*> MapTy;
23
27};
28
29static void BuildParentMap(MapTy& M, Stmt* S,
31 if (!S)
32 return;
33
34 switch (S->getStmtClass()) {
35 case Stmt::PseudoObjectExprClass: {
36 PseudoObjectExpr *POE = cast<PseudoObjectExpr>(S);
37
38 if (OVMode == OV_Opaque && M[POE->getSyntacticForm()])
39 break;
40
41 // If we are rebuilding the map, clear out any existing state.
42 if (M[POE->getSyntacticForm()])
43 for (Stmt *SubStmt : S->children())
44 M[SubStmt] = nullptr;
45
46 M[POE->getSyntacticForm()] = S;
48
50 E = POE->semantics_end();
51 I != E; ++I) {
52 M[*I] = S;
54 }
55 break;
56 }
57 case Stmt::BinaryConditionalOperatorClass: {
58 assert(OVMode == OV_Transparent && "Should not appear alongside OVEs");
59 BinaryConditionalOperator *BCO = cast<BinaryConditionalOperator>(S);
60
61 M[BCO->getCommon()] = S;
63
64 M[BCO->getCond()] = S;
66
67 M[BCO->getTrueExpr()] = S;
69
70 M[BCO->getFalseExpr()] = S;
72
73 break;
74 }
75 case Stmt::OpaqueValueExprClass: {
76 // FIXME: This isn't correct; it assumes that multiple OpaqueValueExprs
77 // share a single source expression, but in the AST a single
78 // OpaqueValueExpr is shared among multiple parent expressions.
79 // The right thing to do is to give the OpaqueValueExpr its syntactic
80 // parent, then not reassign that when traversing the semantic expressions.
81 OpaqueValueExpr *OVE = cast<OpaqueValueExpr>(S);
82 if (OVMode == OV_Transparent || !M[OVE->getSourceExpr()]) {
83 M[OVE->getSourceExpr()] = S;
85 }
86 break;
87 }
88 case Stmt::CapturedStmtClass:
89 for (Stmt *SubStmt : S->children()) {
90 if (SubStmt) {
91 M[SubStmt] = S;
92 BuildParentMap(M, SubStmt, OVMode);
93 }
94 }
95 if (Stmt *SubStmt = cast<CapturedStmt>(S)->getCapturedStmt()) {
96 M[SubStmt] = S;
97 BuildParentMap(M, SubStmt, OVMode);
98 }
99 break;
100 default:
101 for (Stmt *SubStmt : S->children()) {
102 if (SubStmt) {
103 M[SubStmt] = S;
104 BuildParentMap(M, SubStmt, OVMode);
105 }
106 }
107 break;
108 }
109}
110
111ParentMap::ParentMap(Stmt *S) : Impl(nullptr) {
112 if (S) {
113 MapTy *M = new MapTy();
114 BuildParentMap(*M, S);
115 Impl = M;
116 }
117}
118
120 delete (MapTy*) Impl;
121}
122
124 if (S) {
125 BuildParentMap(*(MapTy*) Impl, S);
126 }
127}
128
129void ParentMap::setParent(const Stmt *S, const Stmt *Parent) {
130 assert(S);
131 assert(Parent);
132 MapTy *M = reinterpret_cast<MapTy *>(Impl);
133 M->insert(std::make_pair(const_cast<Stmt *>(S), const_cast<Stmt *>(Parent)));
134}
135
137 MapTy* M = (MapTy*) Impl;
138 return M->lookup(S);
139}
140
142 do { S = getParent(S); } while (S && isa<ParenExpr>(S));
143 return S;
144}
145
147 do {
148 S = getParent(S);
149 }
150 while (S && (isa<ParenExpr>(S) || isa<CastExpr>(S)));
151
152 return S;
153}
154
156 do {
157 S = getParent(S);
158 } while (S && isa<Expr>(S) && cast<Expr>(S)->IgnoreParenImpCasts() != S);
159
160 return S;
161}
162
164 Stmt *Paren = nullptr;
165 while (isa<ParenExpr>(S)) {
166 Paren = S;
167 S = getParent(S);
168 };
169 return Paren;
170}
171
173 Stmt *P = getParent(E);
174 Stmt *DirectChild = E;
175
176 // Ignore parents that don't guarantee consumption.
177 while (P && (isa<ParenExpr>(P) || isa<CastExpr>(P) ||
178 isa<FullExpr>(P))) {
179 DirectChild = P;
180 P = getParent(P);
181 }
182
183 if (!P)
184 return false;
185
186 switch (P->getStmtClass()) {
187 default:
188 return isa<Expr>(P);
189 case Stmt::DeclStmtClass:
190 return true;
191 case Stmt::BinaryOperatorClass: {
192 BinaryOperator *BE = cast<BinaryOperator>(P);
193 // If it is a comma, only the right side is consumed.
194 // If it isn't a comma, both sides are consumed.
195 return BE->getOpcode()!=BO_Comma ||DirectChild==BE->getRHS();
196 }
197 case Stmt::ForStmtClass:
198 return DirectChild == cast<ForStmt>(P)->getCond();
199 case Stmt::WhileStmtClass:
200 return DirectChild == cast<WhileStmt>(P)->getCond();
201 case Stmt::DoStmtClass:
202 return DirectChild == cast<DoStmt>(P)->getCond();
203 case Stmt::IfStmtClass:
204 return DirectChild == cast<IfStmt>(P)->getCond();
205 case Stmt::IndirectGotoStmtClass:
206 return DirectChild == cast<IndirectGotoStmt>(P)->getTarget();
207 case Stmt::SwitchStmtClass:
208 return DirectChild == cast<SwitchStmt>(P)->getCond();
209 case Stmt::ObjCForCollectionStmtClass:
210 return DirectChild == cast<ObjCForCollectionStmt>(P)->getCollection();
211 case Stmt::ReturnStmtClass:
212 return true;
213 }
214}
215
NodeId Parent
Definition: ASTDiff.cpp:191
StringRef P
Defines the clang::Expr interface and subclasses for C++ expressions.
OpaqueValueMode
Definition: ParentMap.cpp:24
@ OV_Opaque
Definition: ParentMap.cpp:26
@ OV_Transparent
Definition: ParentMap.cpp:25
static void BuildParentMap(MapTy &M, Stmt *S, OpaqueValueMode OVMode=OV_Transparent)
Definition: ParentMap.cpp:29
llvm::DenseMap< Stmt *, Stmt * > MapTy
Definition: ParentMap.cpp:22
Defines the Objective-C statement AST node classes.
BinaryConditionalOperator - The GNU extension to the conditional operator which allows the middle ope...
Definition: Expr.h:4214
Expr * getFalseExpr() const
getFalseExpr - Return the subexpression which will be evaluated if the condnition evaluates to false;...
Definition: Expr.h:4268
Expr * getCond() const
getCond - Return the condition expression; this is defined in terms of the opaque value.
Definition: Expr.h:4256
Expr * getTrueExpr() const
getTrueExpr - Return the subexpression which will be evaluated if the condition evaluates to true; th...
Definition: Expr.h:4261
Expr * getCommon() const
getCommon - Return the common expression, written to the left of the condition.
Definition: Expr.h:4249
A builtin binary operation expression such as "x + y" or "x <= y".
Definition: Expr.h:3814
Expr * getRHS() const
Definition: Expr.h:3865
Opcode getOpcode() const
Definition: Expr.h:3858
This represents one expression.
Definition: Expr.h:110
OpaqueValueExpr - An expression referring to an opaque object of a fixed type and value class.
Definition: Expr.h:1146
Expr * getSourceExpr() const
The source expression of an opaque value expression is the expression which originally generated the ...
Definition: Expr.h:1196
bool isConsumedExpr(Expr *E) const
Definition: ParentMap.cpp:172
void addStmt(Stmt *S)
Adds and/or updates the parent/child-relations of the complete stmt tree of S.
Definition: ParentMap.cpp:123
void setParent(const Stmt *S, const Stmt *Parent)
Manually sets the parent of S to Parent.
Definition: ParentMap.cpp:129
Stmt * getOuterParenParent(Stmt *) const
Definition: ParentMap.cpp:163
Stmt * getParentIgnoreParenImpCasts(Stmt *) const
Definition: ParentMap.cpp:155
Stmt * getParentIgnoreParenCasts(Stmt *) const
Definition: ParentMap.cpp:146
Stmt * getParent(Stmt *) const
Definition: ParentMap.cpp:136
ParentMap(Stmt *ASTRoot)
Definition: ParentMap.cpp:111
Stmt * getParentIgnoreParens(Stmt *) const
Definition: ParentMap.cpp:141
PseudoObjectExpr - An expression which accesses a pseudo-object l-value.
Definition: Expr.h:6105
semantics_iterator semantics_end()
Definition: Expr.h:6177
semantics_iterator semantics_begin()
Definition: Expr.h:6171
Expr *const * semantics_iterator
Definition: Expr.h:6169
Expr * getSyntacticForm()
Return the syntactic form of this expression, i.e.
Definition: Expr.h:6147
Stmt - This represents one statement.
Definition: Stmt.h:72