Searched defs:PrevState (Results 1 – 5 of 5) sorted by relevance
39 ProgramStateRef getWidenedLoopState(ProgramStateRef PrevState, in getWidenedLoopState()
1226 ProgramStateRef PrevState = Prev->getState(); in VisitNodeImpl() local
1621 ProgramStateRef PrevState = PredI->getState(); in processBranch() local
737 int PrevState = getPredState(FinalStates, F, ParentBaseState, BB); in addStateStores() local
263 IntelExprState State, PrevState; member in __anon720aab8e0111::X86AsmParser::IntelExprStateMachine