Lines Matching defs:PrevState
1177 ProgramStateRef PrevState = Prev->getState();1183 PrevState->getGDM().getRoot())