Searched refs:AllocationID (Results 1 – 1 of 1) sorted by relevance
995 static unsigned AllocationID = 0; in evalMalloc() local996 State.Allocations.insert(Addr, EndOfRegion, AllocationID++); in evalMalloc()