Searched refs:EnvMgr (Results 1 – 2 of 2) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | GRState.cpp | 77 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, in removeDeadBindings()
91 EnvMgr.getInitialEnvironment(), in MarshalState()
250 Environment NewEnv = getStateManager().EnvMgr.bindExpr(Env, S, V, in BindExpr()
263 getStateManager().EnvMgr.bindExprAndLocation(Env, S, location, V); in bindExprAndLocation()
320 EnvMgr.getInitialEnvironment(), in getInitialState()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | GRState.h | 423 EnvironmentManager EnvMgr; variable
460 EnvMgr(alloc), in GRStateManager()
473 EnvMgr(alloc), in GRStateManager()
|