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

Lines Matching refs:Pred
22                                      ExplodedNode *Pred,
31   getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, B, *this);
161 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred,
166                                        Pred->getLocationContext());
169   StmtNodeBuilder Bldr(Pred, Tmp, *currentBuilderContext);
170   Bldr.generateNode(BE, Pred,
171                     Pred->getState()->BindExpr(BE, Pred->getLocationContext(),
181                            ExplodedNode *Pred, ExplodedNodeSet &Dst) {
184   getCheckerManager().runCheckersForPreStmt(dstPreStmt, Pred, CastE, *this);
208     Pred = *I;
231         ProgramStateRef state = Pred->getState();
232         const LocationContext *LCtx = Pred->getLocationContext();
235         Bldr.generateNode(CastE, Pred, state);
267         ProgramStateRef state = Pred->getState();
268         const LocationContext *LCtx = Pred->getLocationContext();
272         Bldr.generateNode(CastE, Pred, state);
278         ProgramStateRef state = Pred->getState();
279         const LocationContext *LCtx = Pred->getLocationContext();
283         Bldr.generateNode(CastE, Pred, state);
288         ProgramStateRef state = Pred->getState();
289         const LocationContext *LCtx = Pred->getLocationContext();
310             Bldr.generateNode(CastE, Pred, state, true);
327         Bldr.generateNode(CastE, Pred, state);
345         const LocationContext *LCtx = Pred->getLocationContext();
348         ProgramStateRef state = Pred->getState()->BindExpr(CastE, LCtx,
350         Bldr.generateNode(CastE, Pred, state);
358                                           ExplodedNode *Pred,
360   StmtNodeBuilder B(Pred, Dst, *currentBuilderContext);
365   ProgramStateRef state = Pred->getState();
366   SVal ILV = state->getSVal(ILE, Pred->getLocationContext());
367   const LocationContext *LC = Pred->getLocationContext();
371     B.generateNode(CL, Pred, state->BindExpr(CL, LC, state->getLValue(CL, LC)));
373     B.generateNode(CL, Pred, state->BindExpr(CL, LC, ILV));
376 void ExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred,
388     Dst.insert(Pred);
394   getCheckerManager().runCheckersForPreStmt(dstPreVisit, Pred, DS, *this);
407       SVal InitVal = state->getSVal(InitEx, Pred->getLocationContext());
439 void ExprEngine::VisitLogicalExpr(const BinaryOperator* B, ExplodedNode *Pred,
444   StmtNodeBuilder Bldr(Pred, Dst, *currentBuilderContext);
445   ProgramStateRef state = Pred->getState();
446   const LocationContext *LCtx = Pred->getLocationContext();
458       Bldr.generateNode(B, Pred, state->BindExpr(B, LCtx, X));
471       Bldr.generateNode(B, Pred,
476       Bldr.generateNode(B, Pred,
486     Bldr.generateNode(B, Pred, state->BindExpr(B, LCtx, X));
491                                    ExplodedNode *Pred,
493   StmtNodeBuilder B(Pred, Dst, *currentBuilderContext);
495   ProgramStateRef state = Pred->getState();
496   const LocationContext *LCtx = Pred->getLocationContext();
507       B.generateNode(IE, Pred, state->BindExpr(IE, LCtx, V));
517     B.generateNode(IE, Pred,
526     B.generateNode(IE, Pred, state->BindExpr(IE, LCtx,
537                                   ExplodedNode *Pred,
539   StmtNodeBuilder B(Pred, Dst, *currentBuilderContext);
541   ProgramStateRef state = Pred->getState();
542   const LocationContext *LCtx = Pred->getLocationContext();
550   B.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, X, true));
555                   ExplodedNode *Pred, ExplodedNodeSet &Dst) {
556   StmtNodeBuilder B(Pred, Dst, *currentBuilderContext);
563     B.generateNode(OOE, Pred,
564                    Pred->getState()->BindExpr(OOE, Pred->getLocationContext(),
573                               ExplodedNode *Pred,
575   StmtNodeBuilder Bldr(Pred, Dst, *currentBuilderContext);
598   ProgramStateRef state = Pred->getState();
599   state = state->BindExpr(Ex, Pred->getLocationContext(),
602   Bldr.generateNode(Ex, Pred, state);
606                                     ExplodedNode *Pred,
608   StmtNodeBuilder Bldr(Pred, Dst, *currentBuilderContext);
611       Bldr.takeNodes(Pred);
613       VisitIncrementDecrementOperator(U, Pred, Tmp);
628       ProgramStateRef state = Pred->getState();
629       const LocationContext *LCtx = Pred->getLocationContext();
630       Bldr.generateNode(U, Pred, state->BindExpr(U, LCtx,
643       ProgramStateRef state = Pred->getState();
644       const LocationContext *LCtx = Pred->getLocationContext();
646       Bldr.generateNode(U, Pred, state->BindExpr(U, LCtx, X));
664       ProgramStateRef state = Pred->getState();
665       const LocationContext *LCtx = Pred->getLocationContext();
666       Bldr.generateNode(U, Pred, state->BindExpr(U, LCtx,
676       ProgramStateRef state = Pred->getState();
677       const LocationContext *LCtx = Pred->getLocationContext();
683         Bldr.generateNode(U, Pred, state->BindExpr(U, LCtx, V));
718       Bldr.generateNode(U, Pred, state);
726                                                  ExplodedNode *Pred,
732   const LocationContext *LCtx = Pred->getLocationContext();
733   ProgramStateRef state = Pred->getState();
738   evalLoad(Tmp, U, Ex, Pred, state, loc);