Searched refs:isUnrolledState (Results 1 – 3 of 3) sorted by relevance
34 bool isUnrolledState(ProgramStateRef State);
357 bool isUnrolledState(ProgramStateRef State) { in isUnrolledState() function
2556 if(isUnrolledState(Pred->getState())) in processCFGBlockEntrance()