Home | History | Annotate | Download | only in Checkers

Lines Matching full:staterealloc

1967     ProgramStateRef stateRealloc = MallocMemAux(C, CE, CE->getArg(1),
1969     if (!stateRealloc)
1980     stateRealloc = stateRealloc->set<ReallocPairs>(ToPtr,
1984     return stateRealloc;