Searched refs:handlePushFront (Results 1 – 1 of 1) sorted by relevance
45 void handlePushFront(CheckerContext &C, SVal Cont, const Expr *ContE) const;85 &ContainerModeling::handlePushFront},87 &ContainerModeling::handlePushFront},502 void ContainerModeling::handlePushFront(CheckerContext &C, SVal Cont, in handlePushFront() function in ContainerModeling