Searched refs:handleAdvance (Results 1 – 1 of 1) sorted by relevance
117 void handleAdvance(CheckerContext &C, ConstCFGElementRef Elem, SVal RetVal,134 &IteratorModeling::handleAdvance},674 void IteratorModeling::handleAdvance(CheckerContext &C, ConstCFGElementRef Elem, in handleAdvance() function in IteratorModeling