Searched refs:bindExprAndLocation (Results 1 – 5 of 5) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | Environment.h | 95 Environment bindExprAndLocation(Environment Env, const Stmt *S, SVal location,
|
| D | GRState.h | 205 const GRState *bindExprAndLocation(const Stmt *S, SVal location, SVal V)
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | Environment.cpp | 116 Environment EnvironmentManager::bindExprAndLocation(Environment Env, in bindExprAndLocation() function in EnvironmentManager
|
| D | GRState.cpp | 260 const GRState *GRState::bindExprAndLocation(const Stmt *S, SVal location, in bindExprAndLocation() function in GRState
263 getStateManager().EnvMgr.bindExprAndLocation(Env, S, location, V); in bindExprAndLocation()
|
| D | ExprEngine.cpp | 1568 MakeNode(Dst, Ex, *NI, state->bindExprAndLocation(Ex, location, V), in evalLoadCommon()
|