Home
last modified time | relevance | path

Searched refs:PostStmt (Results 1 – 19 of 19) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DAnalysisOrderChecker.cpp32 check::PreStmt<CastExpr>, check::PostStmt<CastExpr>,
34 check::PostStmt<ArraySubscriptExpr>, check::PreStmt<CXXNewExpr>,
35 check::PostStmt<CXXNewExpr>, check::PreStmt<CXXDeleteExpr>,
36 check::PostStmt<CXXDeleteExpr>, check::PreStmt<CXXConstructExpr>,
37 check::PostStmt<CXXConstructExpr>, check::PreStmt<OffsetOfExpr>,
38 check::PostStmt<OffsetOfExpr>, check::PreCall, check::PostCall,
H A DBasicObjCFoundationChecks.cpp100 check::PostStmt<ObjCDictionaryLiteral>,
101 check::PostStmt<ObjCArrayLiteral>,
814 : public Checker<check::PostStmt<ObjCForCollectionStmt>,
1141 check::PostStmt<ObjCArrayLiteral>,
1142 check::PostStmt<ObjCDictionaryLiteral>,
1143 check::PostStmt<ObjCBoxedExpr> > {
H A DArrayBoundCheckerV2.cpp126 class ArrayBoundCheckerV2 : public Checker<check::PostStmt<ArraySubscriptExpr>,
127 check::PostStmt<UnaryOperator>,
128 check::PostStmt<MemberExpr>> {
H A DCheckerDocumentation.cpp57 check::PostStmt<DeclStmt>,
H A DObjCContainersChecker.cpp31 check::PostStmt<CallExpr>,
H A DIteratorModeling.cpp88 : public Checker<check::PostCall, check::PostStmt<UnaryOperator>,
89 check::PostStmt<BinaryOperator>,
90 check::PostStmt<MaterializeTemporaryExpr>,
H A DNullabilityChecker.cpp84 check::PostCall, check::PostStmt<ExplicitCastExpr>,
H A DLocalizationChecker.cpp63 check::PostStmt<ObjCStringLiteral>> {
H A DMallocChecker.cpp303 check::NewAllocator, check::PostStmt<BlockExpr>,
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/
H A DProgramPoint.h306 class PostStmt : public StmtPoint {
308 PostStmt() = default;
309 PostStmt(const Stmt *S, const void *data, Kind k, const LocationContext *L,
314 explicit PostStmt(const Stmt *S, Kind k, const LocationContext *L,
318 explicit PostStmt(const Stmt *S, const LocationContext *L,
354 class PostCondition : public PostStmt {
358 : PostStmt(S, PostConditionKind, L, tag) {} in PostStmt() function
411 class PostLoad : public PostStmt {
415 : PostStmt(S, PostLoadKind, L, tag) {} in PostStmt() function
426 class PostStore : public PostStmt {
[all …]
/freebsd/contrib/llvm-project/clang/lib/Analysis/
H A DProgramPoint.cpp31 return PostStmt(S, LC, tag); in getProgramPoint()
218 else if (getAs<PostStmt>()) in printJson()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExplodedGraph.cpp106 if (!progPoint.getAs<PostStmt>() || progPoint.getAs<PostStore>()) in shouldCollect()
122 const Expr *Ex = dyn_cast<Expr>(progPoint.castAs<PostStmt>().getStmt()); in shouldCollect()
H A DBugReporterVisitors.cpp328 !N->getLocationAs<PostStmt>()) in wasRegionOfInterestModifiedAt()
332 if (auto PS = N->getLocationAs<PostStmt>()) in wasRegionOfInterestModifiedAt()
1273 std::optional<PostStmt> P = N->getLocationAs<PostStmt>(); in isInitializationOfVar()
1348 cast<DeclStmt>(SI.StoreSite->getLocationAs<PostStmt>()->getStmt()); in showBRDiagnostics()
1571 if (std::optional<PostStmt> P = Succ->getLocationAs<PostStmt>()) { in VisitNode()
1781 if (std::optional<PostStmt> PS = StoreSite->getLocationAs<PostStmt>()) { in VisitNode()
2465 while (ExprNode && ExprNode->getLocation().getAs<PostStmt>()) in handle()
2808 if (std::optional<PostStmt> PS = ProgPoint.getAs<PostStmt>()) { in VisitNodeImpl()
H A DCoreEngine.cpp214 assert(Loc.getAs<PostStmt>() || in dispatchWorkItem()
563 PostStmt Loc(CS.getStmt(), N->getLocationContext()); in enqueueStmtNode()
H A DExprEngineCallAndReturn.cpp356 PostStmt Loc(LastSt, calleeCtx, &retValBind); in processCallExit()
H A DExprEngineCXX.cpp89 PostStmt PS(CallExpr, LCtx); in performTrivialCopy()
H A DExprEngine.cpp3586 PostStmt PS(StoreE, LC); in evalBind()
3755 if (!P.getAs<PostStmt>() || P.castAs<PostStmt>().getStmt() != Ex) { in evalEagerlyAssumeBinOpBifurcation()
H A DCallEvent.cpp294 return PostStmt(E, getLocationContext(), Tag); in getProgramPoint()
H A DBugReporter.cpp1233 if (auto PS = P.getAs<PostStmt>()) { in generatePathDiagnosticsForNode()