Cross Reference: /external/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp

Lines Matching refs:Pred
23                                      ExplodedNode *Pred,
32   getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, B, *this);
187 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred,
195                                        Pred->getLocationContext(),
198   ProgramStateRef State = Pred->getState();
230           originalV = State->getSVal(copyExpr, Pred->getLocationContext());
240   StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx);
241   Bldr.generateNode(BE, Pred,
242                     State->BindExpr(BE, Pred->getLocationContext(), V),
250                            ExplodedNode *Pred, ExplodedNodeSet &Dst) {
253   getCheckerManager().runCheckersForPreStmt(dstPreStmt, Pred, CastE, *this);
277     Pred = *I;
278     ProgramStateRef state = Pred->getState();
279     const LocationContext *LCtx = Pred->getLocationContext();
305         ProgramStateRef state = Pred->getState();
306         const LocationContext *LCtx = Pred->getLocationContext();
309         Bldr.generateNode(CastE, Pred, state);
349         Bldr.generateNode(CastE, Pred, state);
358         Bldr.generateNode(CastE, Pred, state);
383             Bldr.generateSink(CastE, Pred, state);
400         Bldr.generateNode(CastE, Pred, state);
407         Bldr.generateNode(CastE, Pred, state);
425         Bldr.generateNode(CastE, Pred, state);
433                                           ExplodedNode *Pred,
435   StmtNodeBuilder B(Pred, Dst, *currBldrCtx);
437   ProgramStateRef State = Pred->getState();
438   const LocationContext *LCtx = Pred->getLocationContext();
462   B.generateNode(CL, Pred, State->BindExpr(CL, LCtx, V));
465 void ExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred,
472     Dst.insert(Pred);
478   getCheckerManager().runCheckersForPreStmt(dstPreVisit, Pred, DS, *this);
541 void ExprEngine::VisitLogicalExpr(const BinaryOperator* B, ExplodedNode *Pred,
546   StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
547   ProgramStateRef state = Pred->getState();
549   ExplodedNode *N = Pred;
583     SVal RHSVal = N->getState()->getSVal(RHS, Pred->getLocationContext());
607   Bldr.generateNode(B, Pred, state->BindExpr(B, Pred->getLocationContext(), X));
611                                    ExplodedNode *Pred,
613   StmtNodeBuilder B(Pred, Dst, *currBldrCtx);
615   ProgramStateRef state = Pred->getState();
616   const LocationContext *LCtx = Pred->getLocationContext();
629       B.generateNode(IE, Pred, state->BindExpr(IE, LCtx, V));
639     B.generateNode(IE, Pred,
656   B.generateNode(IE, Pred, state->BindExpr(IE, LCtx, V));
662                                   ExplodedNode *Pred,
666   StmtNodeBuilder B(Pred, Dst, *currBldrCtx);
667   ProgramStateRef state = Pred->getState();
668   const LocationContext *LCtx = Pred->getLocationContext();
673   for (const ExplodedNode *N = Pred ; N ; N = *N->pred_begin()) {
716   B.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V, true));
721                   ExplodedNode *Pred, ExplodedNodeSet &Dst) {
722   StmtNodeBuilder B(Pred, Dst, *currBldrCtx);
730     B.generateNode(OOE, Pred,
731                    Pred->getState()->BindExpr(OOE, Pred->getLocationContext(),
740                               ExplodedNode *Pred,
744   getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, Ex, *this);
782                                     ExplodedNode *Pred,
786   getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, U, *this);
914                                                  ExplodedNode *Pred,
920   const LocationContext *LCtx = Pred->getLocationContext();
921   ProgramStateRef state = Pred->getState();
926   evalLoad(Tmp, U, Ex, Pred, state, loc);