Lines Matching defs:Pred

796 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred,  in processCFGElement()
834 const ExplodedNode *Pred, in shouldRemoveDeadBindings()
858 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead()
938 void ExprEngine::ProcessStmt(const Stmt *currStmt, ExplodedNode *Pred) { in ProcessStmt()
968 void ExprEngine::ProcessLoopExit(const Stmt* S, ExplodedNode *Pred) { in ProcessLoopExit()
987 ExplodedNode *Pred) { in ProcessInitializer()
1075 ExplodedNode *Pred) { in ProcessImplicitDtor()
1102 ExplodedNode *Pred) { in ProcessNewAllocator()
1121 ExplodedNode *Pred, in ProcessAutomaticObjDtor()
1156 ExplodedNode *Pred, in ProcessDeleteDtor()
1196 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in ProcessBaseDtor()
1216 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in ProcessMemberDtor()
1239 ExplodedNode *Pred, in ProcessTemporaryDtor()
1301 ExplodedNode *Pred, in processCleanupTemporaryBranch()
1371 void ExprEngine::Visit(const Stmt *S, ExplodedNode *Pred, in Visit()
2148 ExplodedNode *Pred) { in processCFGBlockEntrance()
2402 ExplodedNode *Pred, in processBranch()
2546 ExplodedNode *Pred, in processBeginOfFunction()
2556 ExplodedNode *Pred, in processEndOfFunction()
2713 ExplodedNode *Pred, in VisitCommonDeclRefExpr()
2853 ExplodedNode *Pred, in VisitArrayInitLoopExpr()
2951 ExplodedNode *Pred, in VisitArraySubscriptExpr()
3001 void ExprEngine::VisitMemberExpr(const MemberExpr *M, ExplodedNode *Pred, in VisitMemberExpr()
3081 void ExprEngine::VisitAtomicExpr(const AtomicExpr *AE, ExplodedNode *Pred, in VisitAtomicExpr()
3219 ExplodedNode *Pred, in evalBind()
3277 ExplodedNode *Pred, in evalStore()
3301 ExplodedNode *Pred, in evalLoad()
3339 ExplodedNode *Pred, in evalLocation()
3387 for (const auto Pred : Src) { in evalEagerlyAssumeBinOpBifurcation() local
3423 void ExprEngine::VisitGCCAsmStmt(const GCCAsmStmt *A, ExplodedNode *Pred, in VisitGCCAsmStmt()
3446 void ExprEngine::VisitMSAsmStmt(const MSAsmStmt *A, ExplodedNode *Pred, in VisitMSAsmStmt()