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