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 | 2250 const Expr *NodeEx, in evalLoad() argument
2271 evalLoadCommon(Tmp, NodeEx, BoundEx, Pred, state, 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()
2289 const Expr *NodeEx, in evalLoadCommon() argument
2296 assert(NodeEx); in evalLoadCommon()
2300 evalLocation(Tmp, NodeEx, BoundEx, Pred, state, location, tag, true); in evalLoadCommon()
2320 Bldr.generateNode(NodeEx, *NI, state->BindExpr(BoundEx, LCtx, V), tag, in evalLoadCommon()
2326 const Stmt *NodeEx, in evalLocation() argument
2353 Bldr.generateNode(NodeEx, Pred, state, &tag); in evalLocation()
[all …]
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ExprEngine.h | 521 const Expr *NodeEx, /* Eventually will be a CFGStmt */
551 const Expr *NodeEx, /* Eventually will be a CFGStmt */
562 const Stmt *NodeEx, /* This will eventually be a CFGStmt */
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 275 const Stmt *NodeEx,
|