/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> > {
|
PthreadLockChecker.cpp | 27 class PthreadLockChecker : public Checker< check::PostStmt<CallExpr> > {
|
MacOSKeychainAPIChecker.cpp | 30 check::PostStmt<CallExpr>, 532 else if (Optional<clang::PostStmt> PS = P.getAs<clang::PostStmt>())
|
ObjCSelfInitChecker.cpp | 59 check::PostStmt<ObjCIvarRefExpr>,
|
BasicObjCFoundationChecks.cpp | 94 check::PostStmt<ObjCDictionaryLiteral>, 95 check::PostStmt<ObjCArrayLiteral> > { 795 : public Checker<check::PostStmt<ObjCForCollectionStmt>, [all...] |
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>,
|
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 | 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. 116 if (!progPoint.getAs<PostStmt>() || progPoint.getAs<PostStore>()) 131 // a PostStmt. 132 const Expr *Ex = dyn_cast<Expr>(progPoint.castAs<PostStmt>().getStmt());
|
CoreEngine.cpp | 262 assert(Loc.getAs<PostStmt>() || 537 PostStmt Loc(CS.getStmt(), N->getLocationContext());
|
ExprEngineCXX.cpp | 73 PostStmt PS(CallExpr, LCtx);
|
ExprEngine.cpp | 332 && "PostStmt is not generally supported by the SymbolReaper yet"); [all...] |
BugReporter.cpp | [all...] |
CallEvent.cpp | 176 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 {
|