Searched defs:BoundEx (Results 1 - 2 of 2) sorted by relevance
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | CheckerManager.cpp | 268 const Stmt *BoundEx; member in struct:__anon18264::CheckLocationContext 276 const Stmt *BoundEx, 279 BoundEx(BoundEx), Eng(eng) {} 290 checkFn(Loc, IsLoad, BoundEx, C); 301 const Stmt *BoundEx, 304 BoundEx, Eng); 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
|
H A D | ExprEngine.cpp | 2087 const Expr *BoundEx, 2107 evalLoadCommon(Tmp, NodeEx, BoundEx, Pred, state, 2114 location = state->getSVal(BoundEx, (*I)->getLocationContext()); 2115 evalLoadCommon(Dst, NodeEx, BoundEx, *I, state, location, tag, LoadTy); 2121 evalLoadCommon(Dst, NodeEx, BoundEx, Pred, state, location, tag, LoadTy); 2126 const Expr *BoundEx, 2133 assert(BoundEx); 2136 evalLocation(Tmp, NodeEx, BoundEx, Pred, state, location, tag, true); 2152 LoadTy = BoundEx->getType(); 2156 Bldr.generateNode(NodeEx, *NI, state->BindExpr(BoundEx, LCt 2085 evalLoad(ExplodedNodeSet &Dst, const Expr *NodeEx, const Expr *BoundEx, ExplodedNode *Pred, ProgramStateRef state, SVal location, const ProgramPointTag *tag, QualType LoadTy) argument 2124 evalLoadCommon(ExplodedNodeSet &Dst, const Expr *NodeEx, const Expr *BoundEx, ExplodedNode *Pred, ProgramStateRef state, SVal location, const ProgramPointTag *tag, QualType LoadTy) argument 2161 evalLocation(ExplodedNodeSet &Dst, const Stmt *NodeEx, const Stmt *BoundEx, ExplodedNode *Pred, ProgramStateRef state, SVal location, const ProgramPointTag *tag, bool isLoad) argument [all...] |
Completed in 149 milliseconds