Searched refs:NodeEx (Results 1 – 4 of 4) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CheckerManager.cpp | 294 const Stmt *NodeEx; /* Will become a CFGStmt */ member
302 SVal loc, bool isLoad, const Stmt *NodeEx, in CheckLocationContext()
305 : Checkers(checkers), Loc(loc), IsLoad(isLoad), NodeEx(NodeEx), in CheckLocationContext()
313 ProgramPoint::getProgramPoint(NodeEx, K, in runChecker()
327 const Stmt *NodeEx, in runCheckersForLocation() argument
330 CheckLocationContext C(LocationCheckers, location, isLoad, NodeEx, in runCheckersForLocation()
|
| D | ExprEngine.cpp | 2312 const Expr *NodeEx, in evalLoad() argument
2333 evalLoadCommon(Tmp, NodeEx, BoundEx, Pred, state, 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()
2351 const Expr *NodeEx, in evalLoadCommon() argument
2358 assert(NodeEx); in evalLoadCommon()
2362 evalLocation(Tmp, NodeEx, BoundEx, Pred, state, location, tag, true); in evalLoadCommon()
2382 Bldr.generateNode(NodeEx, *NI, state->BindExpr(BoundEx, LCtx, V), tag, in evalLoadCommon()
2388 const Stmt *NodeEx, in evalLocation() argument
2415 Bldr.generateNode(NodeEx, Pred, state, &tag); in evalLocation()
[all …]
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ExprEngine.h | 532 const Expr *NodeEx, /* Eventually will be a CFGStmt */
562 const Expr *NodeEx, /* Eventually will be a CFGStmt */
573 const Stmt *NodeEx, /* This will eventually be a CFGStmt */
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 274 const Stmt *NodeEx,
|