| /external/clang/include/clang/Analysis/ |
| D | ProgramPoint.h | 279 class PostStmt : public StmtPoint {
281 PostStmt() {} in PostStmt() function
282 PostStmt(const Stmt *S, const void *data, Kind k, const LocationContext *L,
287 explicit PostStmt(const Stmt *S, Kind k, const LocationContext *L,
291 explicit PostStmt(const Stmt *S, const LocationContext *L,
304 class PostCondition : public PostStmt {
308 : PostStmt(S, PostConditionKind, L, tag) {} in PostStmt() function
361 class PostLoad : public PostStmt {
365 : PostStmt(S, PostLoadKind, L, tag) {} in PostStmt() function
376 class PostStore : public PostStmt {
[all …]
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | UndefBranchChecker.cpp | 93 if (Optional<PostStmt> PS = P.getAs<PostStmt>()) in checkBranchCondition()
|
| D | TaintTesterChecker.cpp | 23 class TaintTesterChecker : public Checker< check::PostStmt<Expr> > {
|
| D | DynamicTypePropagation.cpp | 30 check::PostStmt<ImplicitCastExpr>,
31 check::PostStmt<CXXNewExpr> > {
|
| D | UndefResultChecker.cpp | 29 : public Checker< check::PostStmt<BinaryOperator> > {
|
| D | UndefCapturedBlockVarChecker.cpp | 29 : public Checker< check::PostStmt<BlockExpr> > {
|
| D | TestAfterDivZeroChecker.cpp | 106 if (Optional<PostStmt> P = Succ->getLocationAs<PostStmt>()) in REGISTER_SET_WITH_PROGRAMSTATE()
|
| D | BasicObjCFoundationChecks.cpp | 97 check::PostStmt<ObjCDictionaryLiteral>,
98 check::PostStmt<ObjCArrayLiteral> > {
839 : public Checker<check::PostStmt<ObjCForCollectionStmt>,
1181 check::PostStmt<ObjCArrayLiteral>,
1182 check::PostStmt<ObjCDictionaryLiteral>,
1183 check::PostStmt<ObjCBoxedExpr> > {
|
| D | CheckerDocumentation.cpp | 38 check::PostStmt<DeclStmt>,
|
| D | MacOSKeychainAPIChecker.cpp | 30 check::PostStmt<CallExpr>,
532 else if (Optional<clang::PostStmt> PS = P.getAs<clang::PostStmt>()) in generateAllocatedDataNotReleasedReport()
|
| D | ObjCContainersChecker.cpp | 32 check::PostStmt<CallExpr> > {
|
| D | PthreadLockChecker.cpp | 52 class PthreadLockChecker : public Checker< check::PostStmt<CallExpr> > {
|
| D | ObjCSelfInitChecker.cpp | 59 check::PostStmt<ObjCIvarRefExpr>,
|
| D | RetainCountChecker.cpp | 2360 AllocStmt = P.castAs<PostStmt>().getStmt(); in CFRefLeakReport()
2404 check::PostStmt<BlockExpr>,
2405 check::PostStmt<CastExpr>,
2406 check::PostStmt<ObjCArrayLiteral>,
2407 check::PostStmt<ObjCDictionaryLiteral>,
2408 check::PostStmt<ObjCBoxedExpr>,
2409 check::PostStmt<ObjCIvarRefExpr>,
|
| D | GenericTaintChecker.cpp | 31 class GenericTaintChecker : public Checker< check::PostStmt<CallExpr>,
|
| D | MallocChecker.cpp | 151 check::PostStmt<CallExpr>,
152 check::PostStmt<CXXNewExpr>,
154 check::PostStmt<BlockExpr>,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | BugReporterVisitors.cpp | 93 const Stmt *S = N->getLocationAs<PostStmt>()->getStmt(); in GetRetValExpr()
191 while (Node && Node->getLocation().getAs<PostStmt>()) in addVisitorIfNecessary()
424 Optional<PostStmt> P = N->getLocationAs<PostStmt>(); in isInitializationOfVar()
499 if (Optional<PostStmt> P = Succ->getLocationAs<PostStmt>()) in VisitNode()
551 if (Optional<PostStmt> PS = StoreSite->getLocationAs<PostStmt>()) { in VisitNode()
957 if (Optional<PostStmt> P = LVNode->getLocation().getAs<PostStmt>()) { in trackNullOrUndefValue()
1195 if (Optional<PostStmt> PS = progPoint.getAs<PostStmt>()) { in VisitNodeImpl()
|
| D | ExplodedGraph.cpp | 117 if (!progPoint.getAs<PostStmt>() || progPoint.getAs<PostStore>()) in shouldCollect()
133 const Expr *Ex = dyn_cast<Expr>(progPoint.castAs<PostStmt>().getStmt()); in shouldCollect()
|
| D | CoreEngine.cpp | 262 assert(Loc.getAs<PostStmt>() || in dispatchWorkItem()
542 PostStmt Loc(CS.getStmt(), N->getLocationContext()); in enqueueStmtNode()
|
| D | ExprEngineCXX.cpp | 73 PostStmt PS(CallExpr, LCtx); in performTrivialCopy()
|
| D | BugReporter.cpp | 1412 if (Optional<PostStmt> PS = P.getAs<PostStmt>()) { in GenerateExtensivePathDiagnostic()
1754 if (Optional<PostStmt> PS = P.getAs<PostStmt>()) { in GenerateAlternateExtensivePathDiagnostic()
|
| D | ExprEngine.cpp | 2006 PostStmt PS(StoreE, LC); in evalBind()
2219 if (!P.getAs<PostStmt>() || P.castAs<PostStmt>().getStmt() != Ex) { in evalEagerlyAssumeBinOpBifurcation()
|
| /external/clang/lib/Analysis/ |
| D | ProgramPoint.cpp | 30 return PostStmt(S, LC, tag); in getProgramPoint()
|
| /external/clang/test/Analysis/ |
| D | blocks.m | 111 // PreStmtPurgeDeadSymbols point but only knew how to deal with PostStmt
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | Checker.h | 105 class PostStmt {
|