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);
352         Bldr.generateNode(CastE, Pred, state);
360         Bldr.generateNode(CastE, Pred, state);
369         Bldr.generateNode(CastE, Pred, state);
394             Bldr.generateSink(CastE, Pred, state);
411         Bldr.generateNode(CastE, Pred, state);
418         Bldr.generateNode(CastE, Pred, state);
436         Bldr.generateNode(CastE, Pred, state);
444                                           ExplodedNode *Pred,
446   StmtNodeBuilder B(Pred, Dst, *currBldrCtx);
448   ProgramStateRef State = Pred->getState();
449   const LocationContext *LCtx = Pred->getLocationContext();
473   B.generateNode(CL, Pred, State->BindExpr(CL, LCtx, V));
476 void ExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred,
483     Dst.insert(Pred);
489   getCheckerManager().runCheckersForPreStmt(dstPreVisit, Pred, DS, *this);
552 void ExprEngine::VisitLogicalExpr(const BinaryOperator* B, ExplodedNode *Pred,
557   StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
558   ProgramStateRef state = Pred->getState();
560   ExplodedNode *N = Pred;
594     SVal RHSVal = N->getState()->getSVal(RHS, Pred->getLocationContext());
618   Bldr.generateNode(B, Pred, state->BindExpr(B, Pred->getLocationContext(), X));
622                                    ExplodedNode *Pred,
624   StmtNodeBuilder B(Pred, Dst, *currBldrCtx);
626   ProgramStateRef state = Pred->getState();
627   const LocationContext *LCtx = Pred->getLocationContext();
640       B.generateNode(IE, Pred, state->BindExpr(IE, LCtx, V));
650     B.generateNode(IE, Pred,
667   B.generateNode(IE, Pred, state->BindExpr(IE, LCtx, V));
673                                   ExplodedNode *Pred,
677   StmtNodeBuilder B(Pred, Dst, *currBldrCtx);
678   ProgramStateRef state = Pred->getState();
679   const LocationContext *LCtx = Pred->getLocationContext();
684   for (const ExplodedNode *N = Pred ; N ; N = *N->pred_begin()) {
727   B.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V, true));
732                   ExplodedNode *Pred, ExplodedNodeSet &Dst) {
733   StmtNodeBuilder B(Pred, Dst, *currBldrCtx);
741     B.generateNode(OOE, Pred,
742                    Pred->getState()->BindExpr(OOE, Pred->getLocationContext(),
751                               ExplodedNode *Pred,
755   getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, Ex, *this);
793                                     ExplodedNode *Pred,
797   getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, U, *this);
925                                                  ExplodedNode *Pred,
931   const LocationContext *LCtx = Pred->getLocationContext();
932   ProgramStateRef state = Pred->getState();
937   evalLoad(Tmp, U, Ex, Pred, state, loc);