Searched refs:getBindingForElement (Results 1 – 1 of 1) sorted by relevance
563 SVal getBindingForElement(RegionBindingsConstRef B, const ElementRegion *R);1479 return svalBuilder.evalCast(getBindingForElement(B, ER), T, QualType{}); in getBinding()1921 SVal RegionStoreManager::getBindingForElement(RegionBindingsConstRef B, in getBindingForElement() function in RegionStoreManager2057 Result = getBindingForElement(LazyBinding, ER); in getLazyBinding()2465 SVal V = getBindingForElement(getRegionBindings(LCV.getStore()), SrcER); in tryBindSmallArray()