| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalysisOrderChecker.cpp | 31 check::PreStmt<CastExpr>, check::PostStmt<CastExpr>,
33 check::PostStmt<ArraySubscriptExpr>, check::PreStmt<CXXNewExpr>,
34 check::PostStmt<CXXNewExpr>, check::PreStmt<CXXDeleteExpr>,
35 check::PostStmt<CXXDeleteExpr>, check::PreStmt<CXXConstructExpr>,
36 check::PostStmt<CXXConstructExpr>, check::PreStmt<OffsetOfExpr>,
37 check::PostStmt<OffsetOfExpr>, check::PreCall, check::PostCall,
|
| H A D | AssumeModeling.cpp | 28 : public Checker<eval::Call, check::PostStmt<AttributedStmt>> {
|
| H A D | BasicObjCFoundationChecks.cpp | 99 check::PostStmt<ObjCDictionaryLiteral>,
100 check::PostStmt<ObjCArrayLiteral>,
813 : public Checker<check::PostStmt<ObjCForCollectionStmt>,
1140 check::PostStmt<ObjCArrayLiteral>,
1141 check::PostStmt<ObjCDictionaryLiteral>,
1142 check::PostStmt<ObjCBoxedExpr> > {
|
| H A D | TestAfterDivZeroChecker.cpp | 101 if (std::optional<PostStmt> P = Succ->getLocationAs<PostStmt>()) in REGISTER_SET_WITH_PROGRAMSTATE()
|
| H A D | UndefResultChecker.cpp | 28 : public Checker< check::PostStmt<BinaryOperator> > {
|
| H A D | ArrayBoundChecker.cpp | 140 class ArrayBoundChecker : public Checker<check::PostStmt<ArraySubscriptExpr>,
141 check::PostStmt<UnaryOperator>,
142 check::PostStmt<MemberExpr>> {
|
| H A D | CheckerDocumentation.cpp | 57 check::PostStmt<DeclStmt>,
|
| H A D | ObjCContainersChecker.cpp | 31 check::PostStmt<CallExpr>,
|
| H A D | DynamicTypeChecker.cpp | 30 class DynamicTypeChecker : public Checker<check::PostStmt<ImplicitCastExpr>> {
|
| H A D | IteratorModeling.cpp | 86 : public Checker<check::PostCall, check::PostStmt<UnaryOperator>,
87 check::PostStmt<BinaryOperator>,
88 check::PostStmt<MaterializeTemporaryExpr>,
|
| H A D | ObjCSelfInitChecker.cpp | 58 check::PostStmt<ObjCIvarRefExpr>,
|
| H A D | DynamicTypePropagation.cpp | 54 check::PostStmt<CastExpr>,
55 check::PostStmt<CXXNewExpr>, check::PreObjCMessage,
|
| H A D | MacOSKeychainAPIChecker.cpp | 31 check::PostStmt<CallExpr>,
|
| H A D | NullabilityChecker.cpp | 86 check::PostCall, check::PostStmt<ExplicitCastExpr>,
|
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/ |
| H A D | ProgramPoint.h | 316 class PostStmt : public StmtPoint {
318 PostStmt() = default;
319 PostStmt(const Stmt *S, const void *data, Kind k, const LocationContext *L,
324 explicit PostStmt(const Stmt *S, Kind k, const LocationContext *L,
328 explicit PostStmt(const Stmt *S, const LocationContext *L,
364 class PostCondition : public PostStmt {
368 : PostStmt(S, PostConditionKind, L, tag) {} in PostStmt() function
421 class PostLoad : public PostStmt {
425 : PostStmt(S, PostLoadKind, L, tag) {} in PostStmt() function
436 class PostStore : public PostStmt {
[all …]
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.h | 242 check::PostStmt<BlockExpr>,
243 check::PostStmt<CastExpr>,
244 check::PostStmt<ObjCArrayLiteral>,
245 check::PostStmt<ObjCDictionaryLiteral>,
246 check::PostStmt<ObjCBoxedExpr>,
247 check::PostStmt<ObjCIvarRefExpr>,
|
| /freebsd/contrib/llvm-project/clang/lib/Analysis/ |
| H A D | ProgramPoint.cpp | 32 return PostStmt(S, LC, tag); in getProgramPoint()
337 else if (getAs<PostStmt>()) in printJson()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExplodedGraph.cpp | 104 if (!progPoint.getAs<PostStmt>() || progPoint.getAs<PostStore>()) in shouldCollect()
120 const Expr *Ex = dyn_cast<Expr>(progPoint.castAs<PostStmt>().getStmt()); in shouldCollect()
|
| H A D | BugReporterVisitors.cpp | 324 !N->getLocationAs<PostStmt>()) in wasRegionOfInterestModifiedAt()
328 if (auto PS = N->getLocationAs<PostStmt>()) in wasRegionOfInterestModifiedAt()
1180 std::optional<PostStmt> P = N->getLocationAs<PostStmt>(); in isInitializationOfVar()
1283 cast<DeclStmt>(SI.StoreSite->getLocationAs<PostStmt>()->getStmt()); in showBRDiagnostics()
1523 if (std::optional<PostStmt> P = Succ->getLocationAs<PostStmt>()) { in VisitNode()
1733 if (std::optional<PostStmt> PS = StoreSite->getLocationAs<PostStmt>()) { in VisitNode()
2417 while (ExprNode && ExprNode->getLocation().getAs<PostStmt>()) in handle()
2760 if (std::optional<PostStmt> PS = ProgPoint.getAs<PostStmt>()) { in VisitNodeImpl()
|
| H A D | CoreEngine.cpp | 249 assert(Loc.getAs<PostStmt>() || in dispatchWorkItem()
606 PostStmt Loc(CS.getStmt(), N->getLocationContext()); in enqueueStmtNode()
|
| H A D | ExprEngineCallAndReturn.cpp | 352 ? ProgramPoint{PostStmt(LastSt, calleeCtx, &retValBind)} in processCallExit()
|
| H A D | ExprEngine.cpp | 3711 PostStmt PS(StoreE, LC); in evalBind()
3883 if (!P.getAs<PostStmt>() || P.castAs<PostStmt>().getStmt() != Ex) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | ExprEngineCXX.cpp | 99 PostStmt PS(CallExpr, LCtx); in performTrivialCopy()
|
| H A D | CallEvent.cpp | 293 return PostStmt(E, getLocationContext(), Tag); in getProgramPoint()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | Checker.h | 101 class PostStmt {
|