Searched defs:SvalBuilder (Results 1 – 6 of 6) sorted by relevance
59 SValBuilder &SvalBuilder = State->getStateManager().getSValBuilder(); in getDynamicExtentWithOffset() local
74 SValBuilder &SvalBuilder = C.getSValBuilder(); in getExtentSizeOfNewTarget() local
927 SValBuilder &SvalBuilder = C.getSValBuilder(); in assumeCollectionNonEmpty() local
333 SValBuilder &SvalBuilder = C.getSValBuilder(); in apply() local
1186 SValBuilder &SvalBuilder = C.getSValBuilder(); in evalCopyCommon() local
1328 SValBuilder &SvalBuilder = State->getStateManager().getSValBuilder(); in ProcessZeroAllocCheck() local