Searched defs:SVB (Results 1 – 12 of 12) sorted by relevance
26 SValBuilder &SVB; variable
315 SValBuilder &SVB, in addParameterValuesToBindings()350 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local541 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents() local611 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local652 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local1022 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local1073 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller() local1099 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
800 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings()872 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings()1494 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B, in getExistingLazyBinding()
297 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB) in RangeConstraintManager()
554 SValBuilder &SVB = getSValBuilder(); in bindReturnValue() local
509 SValBuilder &SVB = getSValBuilder(); in ProcessInitializer() local
88 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
1933 SValBuilder &SVB = C.getSValBuilder(); in evalStrsep() local1990 SValBuilder &SVB = C.getSValBuilder(); in evalStdCopyCommon() local
3394 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local