| /external/clang/lib/Analysis/ |
| ProgramPoint.cpp | 30 return PostStmt(S, LC, tag);
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| TaintTesterChecker.cpp | 23 class TaintTesterChecker : public Checker< check::PostStmt<Expr> > {
|
| UndefBranchChecker.cpp | 79 // Get the predecessor node and check if is a PostStmt with the Stmt
93 if (Optional<PostStmt> PS = P.getAs<PostStmt>())
|
| UndefCapturedBlockVarChecker.cpp | 29 : public Checker< check::PostStmt<BlockExpr> > {
|
| UndefResultChecker.cpp | 29 : public Checker< check::PostStmt<BinaryOperator> > {
|
| CheckerDocumentation.cpp | 38 check::PostStmt<DeclStmt>,
80 /// check::PostStmt<DeclStmt>
|
| DynamicTypePropagation.cpp | 30 check::PostStmt<ImplicitCastExpr>,
31 check::PostStmt<CXXNewExpr> > {
|
| ObjCContainersChecker.cpp | 32 check::PostStmt<CallExpr> > {
|
| TestAfterDivZeroChecker.cpp | 106 if (Optional<PostStmt> P = Succ->getLocationAs<PostStmt>())
|
| MacOSKeychainAPIChecker.cpp | 30 check::PostStmt<CallExpr>,
532 else if (Optional<clang::PostStmt> PS = P.getAs<clang::PostStmt>())
|
| BasicObjCFoundationChecks.cpp | 97 check::PostStmt<ObjCDictionaryLiteral>,
98 check::PostStmt<ObjCArrayLiteral> > {
839 : public Checker<check::PostStmt<ObjCForCollectionStmt>,
[all...] |
| ObjCSelfInitChecker.cpp | 59 check::PostStmt<ObjCIvarRefExpr>,
|
| PthreadLockChecker.cpp | 52 class PthreadLockChecker : public Checker< check::PostStmt<CallExpr> > {
|
| MallocChecker.cpp | 151 check::PostStmt<CallExpr>,
152 check::PostStmt<CXXNewExpr>,
154 check::PostStmt<BlockExpr>,
[all...] |
| GenericTaintChecker.cpp | 31 class GenericTaintChecker : public Checker< check::PostStmt<CallExpr>,
|
| /external/clang/include/clang/Analysis/ |
| ProgramPoint.h | 279 class PostStmt : public StmtPoint {
281 PostStmt() {}
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) {}
361 class PostLoad : public PostStmt {
365 : PostStmt(S, PostLoadKind, L, tag) {}
376 class PostStore : public PostStmt {
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| BugReporterVisitors.cpp | 93 const Stmt *S = N->getLocationAs<PostStmt>()->getStmt();
191 while (Node && Node->getLocation().getAs<PostStmt>())
424 Optional<PostStmt> P = N->getLocationAs<PostStmt>();
499 if (Optional<PostStmt> P = Succ->getLocationAs<PostStmt>())
551 if (Optional<PostStmt> PS = StoreSite->getLocationAs<PostStmt>()) {
[all...] |
| ExplodedGraph.cpp | 86 // (3) The ProgramPoint is for a PostStmt, but not a PostStore.
92 // (9) The PostStmt isn't for a non-consumed Stmt or Expr.
117 if (!progPoint.getAs<PostStmt>() || progPoint.getAs<PostStore>())
132 // a PostStmt.
133 const Expr *Ex = dyn_cast<Expr>(progPoint.castAs<PostStmt>().getStmt());
|
| CoreEngine.cpp | 262 assert(Loc.getAs<PostStmt>() ||
542 PostStmt Loc(CS.getStmt(), N->getLocationContext());
|
| ExprEngineCXX.cpp | 73 PostStmt PS(CallExpr, LCtx);
|
| ExprEngine.cpp | 339 && "PostStmt is not generally supported by the SymbolReaper yet");
[all...] |
| BugReporter.cpp | [all...] |
| CallEvent.cpp | 183 return PostStmt(E, getLocationContext(), Tag);
[all...] |
| ExprEngineCallAndReturn.cpp | 217 /// 5. PostStmt<CallExpr>
286 PostStmt Loc(LastSt, calleeCtx, &retValBind);
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| Checker.h | 105 class PostStmt {
|
