Lines Matching refs:Pred
40 ExplodedNode *Pred, in VisitBinaryOperator() argument
49 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, B, *this); in VisitBinaryOperator()
195 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred, in VisitBlockExpr() argument
203 Pred->getLocationContext(), in VisitBlockExpr()
206 ProgramStateRef State = Pred->getState(); in VisitBlockExpr()
237 const LocationContext *LCtx = Pred->getLocationContext(); in VisitBlockExpr()
249 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx); in VisitBlockExpr()
250 Bldr.generateNode(BE, Pred, in VisitBlockExpr()
251 State->BindExpr(BE, Pred->getLocationContext(), V), in VisitBlockExpr()
261 ExplodedNode* Pred) { in handleLValueBitCast() argument
280 Bldr.generateNode(CastE, Pred, state); in handleLValueBitCast()
286 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in VisitCast() argument
289 getCheckerManager().runCheckersForPreStmt(dstPreStmt, Pred, CastE, *this); in VisitCast()
314 Pred = *I; in VisitCast()
315 ProgramStateRef state = Pred->getState(); in VisitCast()
316 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast()
343 ProgramStateRef state = Pred->getState(); in VisitCast()
344 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast()
347 Bldr.generateNode(CastE, Pred, state); in VisitCast()
358 Bldr.generateNode(CastE, Pred, state); in VisitCast()
363 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred); in VisitCast()
376 Bldr.generateNode(CastE, Pred, state); in VisitCast()
381 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred); in VisitCast()
413 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred); in VisitCast()
424 Bldr.generateNode(CastE, Pred, state); in VisitCast()
433 Bldr.generateNode(CastE, Pred, state); in VisitCast()
459 Bldr.generateSink(CastE, Pred, state); in VisitCast()
477 Bldr.generateNode(CastE, Pred, state); in VisitCast()
498 Bldr.generateNode(CastE, Pred, state); in VisitCast()
504 Bldr.generateNode(CastE, Pred, state); in VisitCast()
510 Bldr.generateNode(CastE, Pred, state); in VisitCast()
522 Bldr.generateNode(CastE, Pred, state); in VisitCast()
539 Bldr.generateNode(CastE, Pred, state); in VisitCast()
547 ExplodedNode *Pred, in VisitCompoundLiteralExpr() argument
549 StmtNodeBuilder B(Pred, Dst, *currBldrCtx); in VisitCompoundLiteralExpr()
551 ProgramStateRef State = Pred->getState(); in VisitCompoundLiteralExpr()
552 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCompoundLiteralExpr()
568 B.generateNode(CL, Pred, State->BindExpr(CL, LCtx, V)); in VisitCompoundLiteralExpr()
571 void ExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred, in VisitDeclStmt() argument
580 getCheckerManager().runCheckersForPreStmt(DstPre, Pred, DS, *this); in VisitDeclStmt()
590 Dst.insert(Pred); in VisitDeclStmt()
596 getCheckerManager().runCheckersForPreStmt(dstPreVisit, Pred, DS, *this); in VisitDeclStmt()
647 void ExprEngine::VisitLogicalExpr(const BinaryOperator* B, ExplodedNode *Pred, in VisitLogicalExpr() argument
667 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx); in VisitLogicalExpr()
668 ProgramStateRef state = Pred->getState(); in VisitLogicalExpr()
676 Bldr.generateNode(B, Pred, state); in VisitLogicalExpr()
680 ExplodedNode *N = Pred; in VisitLogicalExpr()
687 Bldr.generateNode(B, Pred, state); in VisitLogicalExpr()
695 Bldr.generateNode(B, Pred, state); in VisitLogicalExpr()
724 SVal RHSVal = N->getState()->getSVal(RHS, Pred->getLocationContext()); in VisitLogicalExpr()
738 Bldr.generateNode(B, Pred, state->BindExpr(B, Pred->getLocationContext(), X)); in VisitLogicalExpr()
742 ExplodedNode *Pred, in VisitInitListExpr() argument
744 StmtNodeBuilder B(Pred, Dst, *currBldrCtx); in VisitInitListExpr()
746 ProgramStateRef state = Pred->getState(); in VisitInitListExpr()
747 const LocationContext *LCtx = Pred->getLocationContext(); in VisitInitListExpr()
760 B.generateNode(IE, Pred, state->BindExpr(IE, LCtx, V)); in VisitInitListExpr()
769 B.generateNode(IE, Pred, in VisitInitListExpr()
786 B.generateNode(IE, Pred, state->BindExpr(IE, LCtx, V)); in VisitInitListExpr()
792 ExplodedNode *Pred, in VisitGuardedExpr() argument
796 StmtNodeBuilder B(Pred, Dst, *currBldrCtx); in VisitGuardedExpr()
797 ProgramStateRef state = Pred->getState(); in VisitGuardedExpr()
798 const LocationContext *LCtx = Pred->getLocationContext(); in VisitGuardedExpr()
803 for (const ExplodedNode *N = Pred ; N ; N = *N->pred_begin()) { in VisitGuardedExpr()
850 B.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V, true)); in VisitGuardedExpr()
855 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in VisitOffsetOfExpr() argument
856 StmtNodeBuilder B(Pred, Dst, *currBldrCtx); in VisitOffsetOfExpr()
864 B.generateNode(OOE, Pred, in VisitOffsetOfExpr()
865 Pred->getState()->BindExpr(OOE, Pred->getLocationContext(), in VisitOffsetOfExpr()
874 ExplodedNode *Pred, in VisitUnaryExprOrTypeTraitExpr() argument
878 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, Ex, *this); in VisitUnaryExprOrTypeTraitExpr()
932 void ExprEngine::VisitUnaryOperator(const UnaryOperator* U, ExplodedNode *Pred, in VisitUnaryOperator() argument
936 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, U, *this); in VisitUnaryOperator()
1071 ExplodedNode *Pred, in VisitIncrementDecrementOperator() argument
1077 const LocationContext *LCtx = Pred->getLocationContext(); in VisitIncrementDecrementOperator()
1078 ProgramStateRef state = Pred->getState(); in VisitIncrementDecrementOperator()
1083 evalLoad(Tmp, U, Ex, Pred, state, loc); in VisitIncrementDecrementOperator()