H A D | CheckerManager.cpp | 267 const Stmt *NodeEx; /* Will become a CFGStmt */ member in struct:__anon18264::CheckLocationContext 275 SVal loc, bool isLoad, const Stmt *NodeEx, 278 : Checkers(checkers), Loc(loc), IsLoad(isLoad), NodeEx(NodeEx), 286 ProgramPoint::getProgramPoint(NodeEx, K, 300 const Stmt *NodeEx, 303 CheckLocationContext C(LocationCheckers, location, isLoad, NodeEx, 274 CheckLocationContext(const CheckersTy &checkers, SVal loc, bool isLoad, const Stmt *NodeEx, const Stmt *BoundEx, ExprEngine &eng) argument 297 runCheckersForLocation(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, bool isLoad, const Stmt *NodeEx, const Stmt *BoundEx, ExprEngine &Eng) argument
|