Searched refs:BindRes (Results 1 – 2 of 2) sorted by relevance
133 BindResult BindRes = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V); in bindDefaultInitial() local134 ProgramStateRef State = makeWithStore(BindRes); in bindDefaultInitial()142 BindResult BindRes = Mgr.StoreMgr->BindDefaultZero(getStore(), R); in bindDefaultZero() local143 ProgramStateRef State = makeWithStore(BindRes); in bindDefaultZero()439 ProgramStateRef ProgramState::makeWithStore(const BindResult &BindRes) const { in makeWithStore()441 ProgramStateRef State = makeWithStore(BindRes.ResultingStore); in makeWithStore()446 if (BindRes.FailedToBindValues.empty()) in makeWithStore()448 return Eng.escapeValues(State, BindRes.FailedToBindValues, PSK_EscapeOnBind); in makeWithStore()
129 ProgramStateRef makeWithStore(const BindResult &BindRes) const;