Searched refs:stateRealloc (Results 1 – 1 of 1) sorted by relevance
2877 ProgramStateRef stateRealloc = in ReallocMemAux() local2879 if (!stateRealloc) in ReallocMemAux()2890 SVal RetVal = stateRealloc->getSVal(CE, C.getLocationContext()); in ReallocMemAux()2898 stateRealloc = stateRealloc->set<ReallocPairs>(ToPtr, in ReallocMemAux()2902 return stateRealloc; in ReallocMemAux()