Searched refs:BoundEx (Results 1 – 4 of 4) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CheckerManager.cpp | 295 const Stmt *BoundEx; member
303 const Stmt *BoundEx, in CheckLocationContext()
306 BoundEx(BoundEx), Eng(eng) {} in CheckLocationContext()
317 checkFn(Loc, IsLoad, BoundEx, C); in runChecker()
328 const Stmt *BoundEx, in runCheckersForLocation() argument
331 BoundEx, Eng); in runCheckersForLocation()
|
| D | ExprEngine.cpp | 2313 const Expr *BoundEx, in evalLoad() argument
2333 evalLoadCommon(Tmp, NodeEx, BoundEx, Pred, state, in evalLoad()
2340 location = state->getSVal(BoundEx, (*I)->getLocationContext()); in evalLoad()
2341 evalLoadCommon(Dst, NodeEx, BoundEx, *I, state, location, tag, LoadTy); in evalLoad()
2347 evalLoadCommon(Dst, NodeEx, BoundEx, Pred, state, location, tag, LoadTy); in evalLoad()
2352 const Expr *BoundEx, in evalLoadCommon() argument
2359 assert(BoundEx); in evalLoadCommon()
2362 evalLocation(Tmp, NodeEx, BoundEx, Pred, state, location, tag, true); in evalLoadCommon()
2378 LoadTy = BoundEx->getType(); in evalLoadCommon()
2382 Bldr.generateNode(NodeEx, *NI, state->BindExpr(BoundEx, LCtx, V), tag, in evalLoadCommon()
[all …]
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ExprEngine.h | 563 const Expr *BoundEx,
574 const Stmt *BoundEx,
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 275 const Stmt *BoundEx,
|