Lines Matching refs:Pred
194 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
197 void ProcessStmt(const CFGStmt S, ExplodedNode *Pred);
199 void ProcessInitializer(const CFGInitializer I, ExplodedNode *Pred);
201 void ProcessImplicitDtor(const CFGImplicitDtor D, ExplodedNode *Pred);
203 void ProcessNewAllocator(const CXXNewExpr *NE, ExplodedNode *Pred);
206 ExplodedNode *Pred, ExplodedNodeSet &Dst);
208 ExplodedNode *Pred, ExplodedNodeSet &Dst);
210 ExplodedNode *Pred, ExplodedNodeSet &Dst);
212 ExplodedNode *Pred, ExplodedNodeSet &Dst);
214 ExplodedNode *Pred, ExplodedNodeSet &Dst);
219 ExplodedNode *Pred) override;
225 ExplodedNode *Pred,
235 ExplodedNode *Pred, ExplodedNodeSet &Dst,
243 ExplodedNode *Pred,
259 ExplodedNode *Pred) override;
263 ExplodedNode *Pred,
267 void processCallEnter(CallEnter CE, ExplodedNode *Pred) override;
271 void processCallExit(ExplodedNode *Pred) override;
325 void Visit(const Stmt *S, ExplodedNode *Pred, ExplodedNodeSet &Dst);
329 ExplodedNode *Pred,
333 void VisitGCCAsmStmt(const GCCAsmStmt *A, ExplodedNode *Pred,
337 void VisitMSAsmStmt(const MSAsmStmt *A, ExplodedNode *Pred,
341 void VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred,
345 void VisitLambdaExpr(const LambdaExpr *LE, ExplodedNode *Pred,
349 void VisitBinaryOperator(const BinaryOperator* B, ExplodedNode *Pred,
354 void VisitCallExpr(const CallExpr *CE, ExplodedNode *Pred,
358 void VisitCast(const CastExpr *CastE, const Expr *Ex, ExplodedNode *Pred,
363 ExplodedNode *Pred, ExplodedNodeSet &Dst);
367 ExplodedNode *Pred, ExplodedNodeSet &Dst);
370 void VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred,
375 ExplodedNode *Pred, ExplodedNodeSet &Dst);
377 void VisitInitListExpr(const InitListExpr *E, ExplodedNode *Pred,
381 void VisitLogicalExpr(const BinaryOperator* B, ExplodedNode *Pred,
385 void VisitMemberExpr(const MemberExpr *M, ExplodedNode *Pred,
390 ExplodedNode *Pred, ExplodedNodeSet &Dst);
393 void VisitLvalObjCIvarRefExpr(const ObjCIvarRefExpr *DR, ExplodedNode *Pred,
399 ExplodedNode *Pred, ExplodedNodeSet &Dst);
401 void VisitObjCMessage(const ObjCMessageExpr *ME, ExplodedNode *Pred,
405 void VisitReturnStmt(const ReturnStmt *R, ExplodedNode *Pred,
409 void VisitOffsetOfExpr(const OffsetOfExpr *Ex, ExplodedNode *Pred,
414 ExplodedNode *Pred, ExplodedNodeSet &Dst);
417 void VisitUnaryOperator(const UnaryOperator* B, ExplodedNode *Pred,
422 ExplodedNode *Pred,
429 void VisitCXXCatchStmt(const CXXCatchStmt *CS, ExplodedNode *Pred,
432 void VisitCXXThisExpr(const CXXThisExpr *TE, ExplodedNode *Pred,
435 void VisitCXXConstructExpr(const CXXConstructExpr *E, ExplodedNode *Pred,
440 ExplodedNode *Pred, ExplodedNodeSet &Dst);
443 ExplodedNode *Pred,
446 void VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred,
449 void VisitCXXDeleteExpr(const CXXDeleteExpr *CDE, ExplodedNode *Pred,
454 ExplodedNode *Pred,
495 void evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE, ExplodedNode *Pred,
517 // be the same as Pred->state, and when 'location' may not be the
523 ExplodedNode *Pred,
532 ExplodedNode *Pred, ProgramStateRef St, SVal TargetLV, SVal Val,
543 void evalCall(ExplodedNodeSet &Dst, ExplodedNode *Pred,
547 void defaultEvalCall(NodeBuilder &B, ExplodedNode *Pred,
553 ExplodedNode *Pred,
564 ExplodedNode *Pred,
574 const ExplodedNode *Pred);
577 ExplodedNode *Pred, ProgramStateRef State);
582 ExplodedNode *Pred, ProgramStateRef State);
588 ExplodedNode *Pred);
594 void performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
628 ExplodedNode *Pred);