Searched defs:advancePosition (Results 1 – 2 of 2) sorted by relevance
224 ProgramStateRef advancePosition(ProgramStateRef State, const SVal &Iter, in advancePosition() function
438 void PipelineSolver::advancePosition() { in advancePosition() function in __anon61a287fa0111::PipelineSolver