Searched refs:stateMalloc (Results 1 – 1 of 1) sorted by relevance
1942 ProgramStateRef stateMalloc = MallocMemAux(C, CE, CE->getArg(1), in ReallocMem() local1944 return stateMalloc; in ReallocMem()