Searched refs:getWidenedLoopState (Results 1 – 3 of 3) sorted by relevance
28 ProgramStateRef getWidenedLoopState(ProgramStateRef PrevState,
44 ProgramStateRef getWidenedLoopState(ProgramStateRef PrevState, in getWidenedLoopState() function
1995 getWidenedLoopState(Pred->getState(), LCtx, BlockCount, Term); in processCFGBlockEntrance()