Home | History | Annotate | Download | only in Checkers

Lines Matching full:staterealloc

793     ProgramStateRef stateRealloc = MallocMemAux(C, CE, CE->getArg(1),
795     if (!stateRealloc)
797     stateRealloc = stateRealloc->set<ReallocPairs>(ToPtr,
800     return stateRealloc;