Searched refs:stateMalloc (Results 1 – 1 of 1) sorted by relevance
2170 ProgramStateRef stateMalloc = MallocMemAux(C, CE, TotalSize, in ReallocMemAux() local2172 return stateMalloc; in ReallocMemAux()