Searched refs:EnvMgr (Results 1 - 2 of 2) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 75 : Eng(SubEng), EnvMgr(alloc), GDMFactory(alloc),
102 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state);
294 getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V,
366 EnvMgr.getInitialEnvironment(),
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramState.h | 443 EnvironmentManager EnvMgr; member in class:clang::ento::ProgramStateManager
|
Completed in 96 milliseconds