Searched defs:PrevState (Results 1 – 6 of 6) sorted by relevance
44 ProgramStateRef getWidenedLoopState(ProgramStateRef PrevState, in getWidenedLoopState()
2380 ProgramStateRef PrevState = N->getFirstPred()->getState(); in VisitTrueTest() local
2254 ProgramStateRef PrevState = PredN->getState(); in processBranch() local
730 int PrevState = getPredState(FinalStates, F, ParentBaseState, BB); in addStateStores() local
1195 bool PrevState; variable
425 IntelExprState State, PrevState; member in __anon301d74170111::X86AsmParser::IntelExprStateMachine