Skip to content

Commit 9871725

Browse files
committed
address comemnts
Created using spr 1.3.7
1 parent 7d55b2b commit 9871725

File tree

2 files changed

+217
-239
lines changed

2 files changed

+217
-239
lines changed

clang/lib/Analysis/FlowSensitive/Models/UncheckedStatusOrAccessModel.cpp

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -38,18 +38,6 @@ using ::clang::ast_matchers::StatementMatcher;
3838

3939
} // namespace
4040

41-
static void transferStatusOrOkCall(const CXXMemberCallExpr *Expr,
42-
const MatchFinder::MatchResult &,
43-
LatticeTransferState &State) {
44-
RecordStorageLocation *StatusOrLoc =
45-
getImplicitObjectLocation(*Expr, State.Env);
46-
if (StatusOrLoc == nullptr)
47-
return;
48-
49-
auto &OkVal = valForOk(locForStatus(*StatusOrLoc), State.Env);
50-
State.Env.setValue(*Expr, OkVal);
51-
}
52-
5341
static bool isStatusOrOperatorBaseType(QualType type) {
5442
return isRecordTypeWithName(type, "absl::internal_statusor::OperatorBase");
5543
}
@@ -238,6 +226,18 @@ BoolValue &valForOk(RecordStorageLocation &StatusLoc, Environment &Env) {
238226
return initializeStatus(StatusLoc, Env);
239227
}
240228

229+
static void transferStatusOrOkCall(const CXXMemberCallExpr *Expr,
230+
const MatchFinder::MatchResult &,
231+
LatticeTransferState &State) {
232+
RecordStorageLocation *StatusOrLoc =
233+
getImplicitObjectLocation(*Expr, State.Env);
234+
if (StatusOrLoc == nullptr)
235+
return;
236+
237+
auto &OkVal = valForOk(locForStatus(*StatusOrLoc), State.Env);
238+
State.Env.setValue(*Expr, OkVal);
239+
}
240+
241241
CFGMatchSwitch<LatticeTransferState>
242242
buildTransferMatchSwitch(ASTContext &Ctx,
243243
CFGMatchSwitchBuilder<LatticeTransferState> Builder) {

0 commit comments

Comments
 (0)