| /external/clang/include/clang/Analysis/ |
| ProgramPoint.h | 229 class PostStmt : public StmtPoint {
231 PostStmt(const Stmt *S, const void *data, Kind k, const LocationContext *L,
236 explicit PostStmt(const Stmt *S, Kind k,
240 explicit PostStmt(const Stmt *S, const LocationContext *L,
251 class PostCondition : public PostStmt {
255 : PostStmt(S, PostConditionKind, L, tag) {}
296 class PostLoad : public PostStmt {
300 : PostStmt(S, PostLoadKind, L, tag) {}
308 class PostStore : public PostStmt {
315 : PostStmt(S, PostStoreKind, L, tag)
[all...] |
| /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 (PostStmt *PS = dyn_cast<PostStmt>(&P))
|
| AdjustedReturnValueChecker.cpp | 27 public Checker< check::PostStmt<CallExpr> > {
|
| UndefResultChecker.cpp | 28 : public Checker< check::PostStmt<BinaryOperator> > {
|
| CheckerDocumentation.cpp | 37 check::PostStmt<CallExpr>,
75 /// check::PostStmt<DeclStmt>
|
| NoReturnFunctionChecker.cpp | 28 class NoReturnFunctionChecker : public Checker< check::PostStmt<CallExpr>,
|
| UndefCapturedBlockVarChecker.cpp | 28 : public Checker< check::PostStmt<BlockExpr> > {
|
| ObjCContainersChecker.cpp | 33 check::PostStmt<CallExpr> > {
|
| PthreadLockChecker.cpp | 27 class PthreadLockChecker : public Checker< check::PostStmt<CallExpr> > {
|
| ObjCSelfInitChecker.cpp | 59 check::PostStmt<ObjCIvarRefExpr>,
62 check::PostStmt<CallExpr>,
|
| MacOSKeychainAPIChecker.cpp | 30 check::PostStmt<CallExpr>,
533 return cast<clang::PostStmt>(P).getStmt();
|
| MallocChecker.cpp | 91 check::PostStmt<CallExpr>,
92 check::PostStmt<BlockExpr>,
[all...] |
| GenericTaintChecker.cpp | 30 class GenericTaintChecker : public Checker< check::PostStmt<CallExpr>,
|
| IdempotentOperationChecker.cpp | 70 check::PostStmt<BinaryOperator>,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| BugReporterVisitors.cpp | 35 const Stmt *S = N->getLocationAs<PostStmt>()->getStmt();
67 const Stmt *S = N->getLocationAs<PostStmt>()->getStmt();
127 if (const PostStmt *P = Node->getLocationAs<PostStmt>())
157 if (const PostStmt *PS = N->getLocationAs<PostStmt>()) {
301 if (const PostStmt *ps = dyn_cast<PostStmt>(&pp)) {
371 const PostStmt *P = N->getLocationAs<PostStmt>();
[all...] |
| ExplodedGraph.cpp | 64 // (3) The ProgramPoint is for a PostStmt.
69 // (8) The PostStmt is for a non-consumed Stmt or Expr.
85 if (!isa<PostStmt>(progPoint) ||
90 PostStmt ps = cast<PostStmt>(progPoint);
|
| CoreEngine.cpp | 263 assert(isa<PostStmt>(Loc) ||
517 PostStmt Loc(St, N->getLocationContext());
|
| ExprEngineCallAndReturn.cpp | 97 PostStmt Loc(CE, callerCtx, &returnTag);
|
| PathDiagnostic.cpp | 339 else if (const PostStmt *PS = dyn_cast<PostStmt>(&P)) {
|
| ExprEngine.cpp | [all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| Checker.h | 105 class PostStmt {
|
