Home
last modified time | relevance | path

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

12

/netbsd-src/external/apache2/llvm/dist/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 DUndefBranchChecker.cpp96 if (Optional<PostStmt> PS = P.getAs<PostStmt>()) in checkBranchCondition()
H A DPointerArithChecker.cpp47 check::PostStmt<CastExpr>, check::PostStmt<CXXNewExpr>,
48 check::PostStmt<CallExpr>, check::DeadSymbols> {
H A DBasicObjCFoundationChecks.cpp97 check::PostStmt<ObjCDictionaryLiteral>,
98 check::PostStmt<ObjCArrayLiteral> > {
809 : public Checker<check::PostStmt<ObjCForCollectionStmt>,
1142 check::PostStmt<ObjCArrayLiteral>,
1143 check::PostStmt<ObjCDictionaryLiteral>,
1144 check::PostStmt<ObjCBoxedExpr> > {
H A DTaintTesterChecker.cpp25 class TaintTesterChecker : public Checker< check::PostStmt<Expr> > {
H A DTestAfterDivZeroChecker.cpp103 if (Optional<PostStmt> P = Succ->getLocationAs<PostStmt>()) in REGISTER_SET_WITH_PROGRAMSTATE()
H A DUndefCapturedBlockVarChecker.cpp28 : public Checker< check::PostStmt<BlockExpr> > {
H A DCheckerDocumentation.cpp37 check::PostStmt<DeclStmt>,
H A DObjCContainersChecker.cpp31 check::PostStmt<CallExpr>,
H A DIteratorModeling.cpp86 : public Checker<check::PostCall, check::PostStmt<UnaryOperator>,
87 check::PostStmt<BinaryOperator>,
88 check::PostStmt<MaterializeTemporaryExpr>,
H A DDynamicTypeChecker.cpp32 class DynamicTypeChecker : public Checker<check::PostStmt<ImplicitCastExpr>> {
H A DUndefResultChecker.cpp29 : public Checker< check::PostStmt<BinaryOperator> > {
H A DObjCSelfInitChecker.cpp58 check::PostStmt<ObjCIvarRefExpr>,
H A DDynamicTypePropagation.cpp54 check::PostStmt<CastExpr>,
55 check::PostStmt<CXXNewExpr>,
H A DMacOSKeychainAPIChecker.cpp30 check::PostStmt<CallExpr>,
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/Analysis/
H A DProgramPoint.h311 class PostStmt : public StmtPoint {
313 PostStmt() = default;
314 PostStmt(const Stmt *S, const void *data, Kind k, const LocationContext *L,
319 explicit PostStmt(const Stmt *S, Kind k, const LocationContext *L,
323 explicit PostStmt(const Stmt *S, const LocationContext *L,
359 class PostCondition : public PostStmt {
363 : PostStmt(S, PostConditionKind, L, tag) {} in PostStmt() function
416 class PostLoad : public PostStmt {
420 : PostStmt(S, PostLoadKind, L, tag) {} in PostStmt() function
431 class PostStore : public PostStmt {
[all …]
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.h243 check::PostStmt<BlockExpr>,
244 check::PostStmt<CastExpr>,
245 check::PostStmt<ObjCArrayLiteral>,
246 check::PostStmt<ObjCDictionaryLiteral>,
247 check::PostStmt<ObjCBoxedExpr>,
248 check::PostStmt<ObjCIvarRefExpr>,
/netbsd-src/external/apache2/llvm/dist/clang/lib/Analysis/
H A DProgramPoint.cpp31 return PostStmt(S, LC, tag); in getProgramPoint()
218 else if (getAs<PostStmt>()) in printJson()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DBugReporterVisitors.cpp293 !N->getLocationAs<PostStmt>()) in wasRegionOfInterestModifiedAt()
297 if (auto PS = N->getLocationAs<PostStmt>()) in wasRegionOfInterestModifiedAt()
987 while (Node && Node->getLocation().getAs<PostStmt>()) in addVisitorIfNecessary()
1238 Optional<PostStmt> P = N->getLocationAs<PostStmt>(); in isInitializationOfVar()
1446 if (Optional<PostStmt> P = Succ->getLocationAs<PostStmt>()) in VisitNode()
1572 if (Optional<PostStmt> PS = StoreSite->getLocationAs<PostStmt>()) { in VisitNode()
2305 if (Optional<PostStmt> PS = ProgPoint.getAs<PostStmt>()) { in VisitNodeImpl()
H A DExplodedGraph.cpp107 if (!progPoint.getAs<PostStmt>() || progPoint.getAs<PostStore>()) in shouldCollect()
123 const Expr *Ex = dyn_cast<Expr>(progPoint.castAs<PostStmt>().getStmt()); in shouldCollect()
H A DCoreEngine.cpp185 assert(Loc.getAs<PostStmt>() || in dispatchWorkItem()
546 PostStmt Loc(CS.getStmt(), N->getLocationContext()); in enqueueStmtNode()
H A DExprEngineCallAndReturn.cpp284 PostStmt Loc(LastSt, calleeCtx, &retValBind); in processCallExit()
H A DExprEngine.cpp2882 PostStmt PS(StoreE, LC); in evalBind()
3051 if (!P.getAs<PostStmt>() || P.castAs<PostStmt>().getStmt() != Ex) { in evalEagerlyAssumeBinOpBifurcation()
H A DExprEngineCXX.cpp85 PostStmt PS(CallExpr, LCtx); in performTrivialCopy()
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/
H A DChecker.h101 class PostStmt {

12