Searched defs:SvalBuilder (Results 1 – 5 of 5) sorted by relevance
74 SValBuilder &SvalBuilder = C.getSValBuilder(); in getExtentSizeOfNewTarget() local
933 SValBuilder &SvalBuilder = C.getSValBuilder(); in assumeCollectionNonEmpty() local
1082 SValBuilder &SvalBuilder = C.getSValBuilder(); in getCStringLength() local1500 SValBuilder &SvalBuilder = C.getSValBuilder(); in evalCopyCommon() local
1238 SValBuilder &SvalBuilder = C.getSValBuilder(); in apply() local
1505 SValBuilder &SvalBuilder = State->getStateManager().getSValBuilder(); in ProcessZeroAllocCheck() local