Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DEnvironment.h116 Environment removeDeadBindings(Environment Env,
H A DStore.h196 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
H A DSMTConstraintManager.h207 ProgramStateRef removeDeadBindings(ProgramStateRef State, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DEnvironment.cpp178 EnvironmentManager::removeDeadBindings(Environment Env, in removeDeadBindings() function in EnvironmentManager
H A DProgramState.cpp102 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state); in removeDeadBindingsFromEnvironmentAndStore()
105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindingsFromEnvironmentAndStore()
H A DRegionStore.cpp791 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
3117 StoreRef RegionStoreManager::removeDeadBindings(Store store, in removeDeadBindings() function in RegionStoreManager
H A DRangeConstraintManager.cpp1903 ProgramStateRef removeDeadBindings(ProgramStateRef State,
2906 RangeConstraintManager::removeDeadBindings(ProgramStateRef State, in removeDeadBindings() function in RangeConstraintManager
H A DExprEngine.cpp1091 getConstraintManager().removeDeadBindings(CheckerState, SymReaper); in removeDead()
/freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/
H A DDemangleTestCases.inc6949 …_12SymbolReaperE", "(anonymous namespace)::BasicConstraintManager::removeDeadBindings(clang::ento:…
7030 …lIPKNS7_9MemRegionEEE", "(anonymous namespace)::BasicStoreManager::removeDeadBindings(void const*,…
7552 …VectorImplIPKNS0_9MemRegionEEE", "clang::ento::EnvironmentManager::removeDeadBindings(clang::ento:…
7606 …plIPKNS7_9MemRegionEEE", "(anonymous namespace)::FlatStoreManager::removeDeadBindings(void const*,…
7648 …kFrameContextERNS0_12SymbolReaperE", "clang::ento::GRStateManager::removeDeadBindings(clang::ento:…
7991 …_12SymbolReaperE", "(anonymous namespace)::RangeConstraintManager::removeDeadBindings(clang::ento:…
8044 …IPKNS7_9MemRegionEEE", "(anonymous namespace)::RegionStoreManager::removeDeadBindings(void const*,…