Searched defs:BoundEx (Results 1 - 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DCheckerManager.cpp268 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 DExprEngine.cpp2087 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