Searched defs:SVB (Results 1 – 12 of 12) sorted by relevance
26 SValBuilder &SVB; variable
287 SValBuilder &SVB, in addParameterValuesToBindings()322 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local491 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents() local561 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local585 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local887 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local938 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller() local964 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller() local
73 SValBuilder &SVB = state->getStateManager().getSValBuilder(); in assume() local
540 SimpleSValBuilder &SVB) { in evalBinOpFieldRegionFieldRegion()
288 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB) in RangeConstraintManager()
94 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeZeroElementRegion() local
814 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings()886 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings()1397 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B, in getExistingLazyBinding()
566 SValBuilder &SVB = getSValBuilder(); in bindReturnValue() local
494 SValBuilder &SVB = getSValBuilder(); in ProcessInitializer() local
85 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
1839 SValBuilder &SVB = C.getSValBuilder(); in evalStrsep() local
3257 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local