Searched refs:createContainerEnd (Results 1 – 1 of 1) sorted by relevance
343 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont,1169 State = createContainerEnd(State, ContReg, EndSym); in handleEnd()2007 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont, in createContainerEnd() function