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
263 IntelExprState State, PrevState; member in __anonaf54d4730111::X86AsmParser::IntelExprStateMachine
344 IntelExprState State, PrevState; member in __anon3975fb150111::X86AsmParser::IntelExprStateMachine