Home
last modified time | relevance | path

Searched refs:removeDeadBindings (Results 1 – 9 of 9) sorted by relevance

/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DEnvironment.h116 Environment removeDeadBindings(Environment Env,
H A DConstraintManager.h131 virtual ProgramStateRef removeDeadBindings(ProgramStateRef state,
H A DStore.h188 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
H A DSMTConstraintManager.h201 ProgramStateRef removeDeadBindings(ProgramStateRef State, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DEnvironment.cpp180 EnvironmentManager::removeDeadBindings(Environment Env, in removeDeadBindings() function in EnvironmentManager
H A DProgramState.cpp103 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state); in removeDeadBindingsFromEnvironmentAndStore()
106 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindingsFromEnvironmentAndStore()
H A DRegionStore.cpp627 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
2873 StoreRef RegionStoreManager::removeDeadBindings(Store store, in removeDeadBindings() function in RegionStoreManager
H A DRangeConstraintManager.cpp1885 ProgramStateRef removeDeadBindings(ProgramStateRef State,
2895 RangeConstraintManager::removeDeadBindings(ProgramStateRef State, in removeDeadBindings() function in RangeConstraintManager
H A DExprEngine.cpp1092 getConstraintManager().removeDeadBindings(CheckerState, SymReaper); in removeDead()