Searched defs:SVB (Results 1 – 12 of 12) sorted by relevance
26 SValBuilder &SVB; variable
305 SValBuilder &SVB, in addParameterValuesToBindings()340 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local531 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents() local601 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local642 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local945 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local996 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller() local1022 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller() local
73 SValBuilder &SVB = state->getStateManager().getSValBuilder(); in assume() local
540 SimpleSValBuilder &SVB) { in evalBinOpFieldRegionFieldRegion()
94 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeZeroElementRegion() local
799 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings()871 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings()1494 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B, in getExistingLazyBinding()
297 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB) in RangeConstraintManager()
567 SValBuilder &SVB = getSValBuilder(); in bindReturnValue() local
508 SValBuilder &SVB = getSValBuilder(); in ProcessInitializer() local
88 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
1926 SValBuilder &SVB = C.getSValBuilder(); in evalStrsep() local
3401 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local