| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/Analysis/ |
| H A D | ProgramPoint.h | 313 class PostStmt : public StmtPoint {
315 PostStmt() = default;
325 explicit PostStmt(const Stmt *S, const LocationContext *L,
361 class PostCondition : public PostStmt {
365 : PostStmt(S, PostConditionKind, L, tag) {} in PostStmt() function
418 class PostLoad : public PostStmt {
422 : PostStmt(S, PostLoadKind, L, tag) {} in PostStmt() function
433 class PostStore : public PostStmt {
440 : PostStmt(S, PostStoreKind, L, tag) { in PostStmt() function
459 class PostLValue : public PostStmt {
[all …]
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalysisOrderChecker.cpp | 32 check::PostStmt<CastExpr>,
34 check::PostStmt<ArraySubscriptExpr>,
36 check::PostStmt<CXXNewExpr>,
38 check::PostStmt<OffsetOfExpr>,
|
| H A D | UndefBranchChecker.cpp | 92 if (Optional<PostStmt> PS = P.getAs<PostStmt>()) in checkBranchCondition()
|
| H A D | PointerArithChecker.cpp | 48 check::PostStmt<CastExpr>, check::PostStmt<CXXNewExpr>,
49 check::PostStmt<CallExpr>, check::DeadSymbols> {
|
| H A D | TaintTesterChecker.cpp | 23 class TaintTesterChecker : public Checker< check::PostStmt<Expr> > {
|
| H A D | BasicObjCFoundationChecks.cpp | 98 check::PostStmt<ObjCDictionaryLiteral>,
99 check::PostStmt<ObjCArrayLiteral> > {
809 : public Checker<check::PostStmt<ObjCForCollectionStmt>,
1143 check::PostStmt<ObjCArrayLiteral>,
1144 check::PostStmt<ObjCDictionaryLiteral>,
1145 check::PostStmt<ObjCBoxedExpr> > {
|
| H A D | TestAfterDivZeroChecker.cpp | 104 if (Optional<PostStmt> P = Succ->getLocationAs<PostStmt>()) in REGISTER_SET_WITH_PROGRAMSTATE()
|
| H A D | UndefCapturedBlockVarChecker.cpp | 29 : public Checker< check::PostStmt<BlockExpr> > {
|
| H A D | CheckerDocumentation.cpp | 38 check::PostStmt<DeclStmt>,
|
| H A D | ObjCContainersChecker.cpp | 32 check::PostStmt<CallExpr>,
|
| H A D | UndefResultChecker.cpp | 29 : public Checker< check::PostStmt<BinaryOperator> > {
|
| H A D | DynamicTypeChecker.cpp | 33 class DynamicTypeChecker : public Checker<check::PostStmt<ImplicitCastExpr>> {
|
| H A D | DynamicTypePropagation.cpp | 55 check::PostStmt<CastExpr>,
56 check::PostStmt<CXXNewExpr>,
|
| H A D | ObjCSelfInitChecker.cpp | 59 check::PostStmt<ObjCIvarRefExpr>,
|
| H A D | PthreadLockChecker.cpp | 70 : public Checker<check::PostStmt<CallExpr>, check::DeadSymbols> {
|
| H A D | GenericTaintChecker.cpp | 32 : public Checker<check::PostStmt<CallExpr>, check::PreStmt<CallExpr>> {
|
| H A D | MacOSKeychainAPIChecker.cpp | 31 check::PostStmt<CallExpr>,
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.h | 244 check::PostStmt<BlockExpr>,
245 check::PostStmt<CastExpr>,
246 check::PostStmt<ObjCArrayLiteral>,
247 check::PostStmt<ObjCDictionaryLiteral>,
248 check::PostStmt<ObjCBoxedExpr>,
249 check::PostStmt<ObjCIvarRefExpr>,
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | BugReporterVisitors.cpp | 249 && !N->getLocationAs<PostStmt>()) in wasRegionOfInterestModifiedAt()
253 if (auto PS = N->getLocationAs<PostStmt>()) in wasRegionOfInterestModifiedAt()
810 while (Node && Node->getLocation().getAs<PostStmt>()) in addVisitorIfNecessary()
1035 Optional<PostStmt> P = N->getLocationAs<PostStmt>(); in isInitializationOfVar()
1227 if (Optional<PostStmt> P = Succ->getLocationAs<PostStmt>()) in VisitNode()
1279 if (Optional<PostStmt> PS = StoreSite->getLocationAs<PostStmt>()) { in VisitNode()
1848 if (Optional<PostStmt> PS = progPoint.getAs<PostStmt>()) { in VisitNodeImpl()
|
| H A D | ExplodedGraph.cpp | 108 if (!progPoint.getAs<PostStmt>() || progPoint.getAs<PostStore>()) in shouldCollect()
124 const Expr *Ex = dyn_cast<Expr>(progPoint.castAs<PostStmt>().getStmt()); in shouldCollect()
|
| H A D | CoreEngine.cpp | 187 assert(Loc.getAs<PostStmt>() || in dispatchWorkItem()
495 PostStmt Loc(CS.getStmt(), N->getLocationContext()); in enqueueStmtNode()
|
| H A D | ExprEngineCXX.cpp | 86 PostStmt PS(CallExpr, LCtx); in performTrivialCopy()
|
| H A D | ExprEngineCallAndReturn.cpp | 281 PostStmt Loc(LastSt, calleeCtx, &retValBind); in processCallExit()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/Analysis/ |
| H A D | ProgramPoint.cpp | 30 return PostStmt(S, LC, tag); in getProgramPoint()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | Checker.h | 101 class PostStmt {
|