| /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>())
|
| UndefResultChecker.cpp | 29 : public Checker< check::PostStmt<BinaryOperator> > {
|
| NoReturnFunctionChecker.cpp | 29 class NoReturnFunctionChecker : public Checker< check::PostStmt<CallExpr>,
|
| UndefCapturedBlockVarChecker.cpp | 29 : public Checker< check::PostStmt<BlockExpr> > {
|
| CheckerDocumentation.cpp | 38 check::PostStmt<DeclStmt>,
79 /// check::PostStmt<DeclStmt>
|
| ObjCContainersChecker.cpp | 32 check::PostStmt<CallExpr> > {
|
| PthreadLockChecker.cpp | 27 class PthreadLockChecker : public Checker< check::PostStmt<CallExpr> > {
|
| MacOSKeychainAPIChecker.cpp | 30 check::PostStmt<CallExpr>,
531 else if (Optional<clang::PostStmt> PS = P.getAs<clang::PostStmt>())
|
| DynamicTypePropagation.cpp | 30 check::PostStmt<ImplicitCastExpr> > {
|
| ObjCSelfInitChecker.cpp | 59 check::PostStmt<ObjCIvarRefExpr>,
|
| MallocChecker.cpp | 122 check::PostStmt<CallExpr>,
123 check::PostStmt<BlockExpr>,
[all...] |
| BasicObjCFoundationChecks.cpp | 676 : public Checker<check::PostStmt<ObjCForCollectionStmt> > {
|
| GenericTaintChecker.cpp | 31 class GenericTaintChecker : public Checker< check::PostStmt<CallExpr>,
|
| IdempotentOperationChecker.cpp | 71 check::PostStmt<BinaryOperator>,
|
| /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,
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 | 86 const Stmt *S = N->getLocationAs<PostStmt>()->getStmt();
182 while (Node && Node->getLocation().getAs<PostStmt>())
422 if (Optional<PostStmt> P = Pred->getLocationAs<PostStmt>()) {
451 if (Optional<PostStmt> P = Succ->getLocationAs<PostStmt>())
504 if (Optional<PostStmt> PS = StoreSite->getLocationAs<PostStmt>()) {
819 if (Optional<PostStmt> ps = pp.getAs<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.
116 if (!progPoint.getAs<PostStmt>() || progPoint.getAs<PostStore>())
120 PostStmt ps = progPoint.castAs<PostStmt>();
|
| CoreEngine.cpp | 262 assert(Loc.getAs<PostStmt>() ||
519 PostStmt Loc(CS.getStmt(), N->getLocationContext());
|
| ExprEngineCXX.cpp | 87 PostStmt PS(CallExpr, LCtx);
|
| ExprEngine.cpp | 303 && "PostStmt is not generally supported by the SymbolReaper yet");
[all...] |
| CallEvent.cpp | 212 return PostStmt(E, getLocationContext(), Tag);
[all...] |
| ExprEngineCallAndReturn.cpp | 214 /// 5. PostStmt<CallExpr>
283 PostStmt Loc(LastSt, calleeCtx, &retValBind);
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| Checker.h | 105 class PostStmt {
|
