| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| TaintTesterChecker.cpp | 25 class TaintTesterChecker : public Checker< check::PostStmt<Expr> > {
|
| UndefBranchChecker.cpp | 82 // Get the predecessor node and check if is a PostStmt with the Stmt
96 if (Optional<PostStmt> PS = P.getAs<PostStmt>())
|
| AnalysisOrderChecker.cpp | 32 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,
69 llvm::errs() << "PostStmt<CastExpr> (Kind : " << CE->getCastKindName()
82 llvm::errs() << "PostStmt<ArraySubscriptExpr>\n";
92 llvm::errs() << "PostStmt<CXXNewExpr>\n";
102 llvm::errs() << "PostStmt<CXXDeleteExpr>\n"
[all...] |
| UndefCapturedBlockVarChecker.cpp | 28 : public Checker< check::PostStmt<BlockExpr> > {
|
| PointerArithChecker.cpp | 47 check::PostStmt<CastExpr>, check::PostStmt<CXXNewExpr>,
48 check::PostStmt<CallExpr>, check::DeadSymbols> {
|
| CheckerDocumentation.cpp | 37 check::PostStmt<DeclStmt>,
81 /// check::PostStmt<DeclStmt>
|
| ObjCContainersChecker.cpp | 31 check::PostStmt<CallExpr>,
|
| UndefResultChecker.cpp | 29 : public Checker< check::PostStmt<BinaryOperator> > {
|
| TestAfterDivZeroChecker.cpp | 103 if (Optional<PostStmt> P = Succ->getLocationAs<PostStmt>())
|
| BasicObjCFoundationChecks.cpp | 97 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> > {
|
| DynamicTypeChecker.cpp | 32 class DynamicTypeChecker : public Checker<check::PostStmt<ImplicitCastExpr>> {
|
| ObjCSelfInitChecker.cpp | 58 check::PostStmt<ObjCIvarRefExpr>,
|
| IteratorModeling.cpp | 86 : public Checker<check::PostCall, check::PostStmt<UnaryOperator>,
87 check::PostStmt<BinaryOperator>,
88 check::PostStmt<MaterializeTemporaryExpr>,
|
| DynamicTypePropagation.cpp | 54 check::PostStmt<CastExpr>,
55 check::PostStmt<CXXNewExpr>,
|
| MacOSKeychainAPIChecker.cpp | 30 check::PostStmt<CallExpr>,
|
| NullabilityChecker.cpp | 82 check::PostCall, check::PostStmt<ExplicitCastExpr>,
|
| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| RetainCountChecker.h | 243 check::PostStmt<BlockExpr>,
244 check::PostStmt<CastExpr>,
245 check::PostStmt<ObjCArrayLiteral>,
246 check::PostStmt<ObjCDictionaryLiteral>,
247 check::PostStmt<ObjCBoxedExpr>,
248 check::PostStmt<ObjCIvarRefExpr>,
|
| /src/external/apache2/llvm/dist/clang/include/clang/Analysis/ |
| ProgramPoint.h | 311 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) {}
416 class PostLoad : public PostStmt {
420 : PostStmt(S, PostLoadKind, L, tag) {}
431 class PostStore : public PostStmt {
[all...] |
| /src/external/apache2/llvm/dist/clang/lib/Analysis/ |
| ProgramPoint.cpp | 31 return PostStmt(S, LC, tag);
218 else if (getAs<PostStmt>())
219 Out << "PostStmt";
|
| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| ExplodedGraph.cpp | 76 // (3) The ProgramPoint is for a PostStmt, but not a PostStore.
82 // (9) The PostStmt isn't for a non-consumed Stmt or Expr.
107 if (!progPoint.getAs<PostStmt>() || progPoint.getAs<PostStore>())
122 // a PostStmt.
123 const Expr *Ex = dyn_cast<Expr>(progPoint.castAs<PostStmt>().getStmt());
|
| BugReporterVisitors.cpp | 293 !N->getLocationAs<PostStmt>())
297 if (auto PS = N->getLocationAs<PostStmt>())
987 while (Node && Node->getLocation().getAs<PostStmt>())
1238 Optional<PostStmt> P = N->getLocationAs<PostStmt>();
1446 if (Optional<PostStmt> P = Succ->getLocationAs<PostStmt>())
1572 if (Optional<PostStmt> PS = StoreSite->getLocationAs<PostStmt>()) {
2294 // which will be caught in the next VisitNode() iteration as a 'PostStmt'
[all...] |
| CoreEngine.cpp | 185 assert(Loc.getAs<PostStmt>() ||
546 PostStmt Loc(CS.getStmt(), N->getLocationContext());
|
| ExprEngineCXX.cpp | 85 PostStmt PS(CallExpr, LCtx);
666 // There is no need to run the PostCall and PostStmt checker
|
| ExprEngineCallAndReturn.cpp | 205 /// 5. PostStmt<CallExpr>
284 PostStmt Loc(LastSt, calleeCtx, &retValBind);
|
| /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/ |
| Checker.h | 101 class PostStmt {
|
