Searched defs:PrevState (Results 1 – 7 of 7) 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
745 int PrevState = getPredState(FinalStates, F, ParentBaseState, BB); in addStateStores() local
737 int PrevState = getPredState(FinalStates, F, ParentBaseState, BB); in addStateStores() local
263 IntelExprState State, PrevState; member in __anon720aab8e0111::X86AsmParser::IntelExprStateMachine
336 IntelExprState State, PrevState; member in __anonfb2428c60111::X86AsmParser::IntelExprStateMachine