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
737 int PrevState = getPredState(FinalStates, F, ParentBaseState, BB); in addStateStores() local
745 int PrevState = getPredState(FinalStates, F, ParentBaseState, BB); in addStateStores() local
263 IntelExprState State, PrevState; member in __anonf33d2cb70111::X86AsmParser::IntelExprStateMachine
336 IntelExprState State, PrevState; member in __anon3ca5b30f0111::X86AsmParser::IntelExprStateMachine