Searched refs:handleBegin (Results 1 – 1 of 1) sorted by relevance
35 void handleBegin(CheckerContext &C, ConstCFGElementRef Elem, SVal RetVal,201 handleBegin(C, Call.getCFGElementRef(), Call.getReturnValue(), in checkPostCall()253 void ContainerModeling::handleBegin(CheckerContext &C, ConstCFGElementRef Elem, in handleBegin() function in ContainerModeling