Searched refs:handleEnd (Results 1 – 1 of 1) sorted by relevance
37 void handleEnd(CheckerContext &C, ConstCFGElementRef Elem, SVal RetVal,207 handleEnd(C, Call.getCFGElementRef(), Call.getReturnValue(), in checkPostCall()275 void ContainerModeling::handleEnd(CheckerContext &C, ConstCFGElementRef Elem, in handleEnd() function in ContainerModeling