Searched refs:nextState (Results 1 – 1 of 1) sorted by relevance
56 ProgramStateRef nextState = in populateObjCForDestinationSet() local76 nextState = nextState->bindLoc(elementV, V, LCtx); in populateObjCForDestinationSet()79 Bldr.generateNode(S, Pred, nextState); in populateObjCForDestinationSet()