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 | 2251 const Expr *BoundEx, in evalLoad() argument
2271 evalLoadCommon(Tmp, NodeEx, BoundEx, Pred, state, in evalLoad()
2278 location = state->getSVal(BoundEx, (*I)->getLocationContext()); in evalLoad()
2279 evalLoadCommon(Dst, NodeEx, BoundEx, *I, state, location, tag, LoadTy); in evalLoad()
2285 evalLoadCommon(Dst, NodeEx, BoundEx, Pred, state, location, tag, LoadTy); in evalLoad()
2290 const Expr *BoundEx, in evalLoadCommon() argument
2297 assert(BoundEx); in evalLoadCommon()
2300 evalLocation(Tmp, NodeEx, BoundEx, Pred, state, location, tag, true); in evalLoadCommon()
2316 LoadTy = BoundEx->getType(); in evalLoadCommon()
2320 Bldr.generateNode(NodeEx, *NI, state->BindExpr(BoundEx, LCtx, V), tag, in evalLoadCommon()
[all …]
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ExprEngine.h | 552 const Expr *BoundEx,
563 const Stmt *BoundEx,
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 276 const Stmt *BoundEx,
|