|
@@ -679,7 +679,7 @@ BEGIN
|
|
END GetFreeBlock;
|
|
END GetFreeBlock;
|
|
|
|
|
|
(* Sweep phase *)
|
|
(* Sweep phase *)
|
|
-PROCEDURE LazySweep(size: ADDRESS; VAR p: FreeBlock);
|
|
|
|
|
|
+PROCEDURE LazySweep(size: ADDRESS; VAR p {UNTRACED}: FreeBlock);
|
|
VAR
|
|
VAR
|
|
lastFreeBlockAdr: ADDRESS;
|
|
lastFreeBlockAdr: ADDRESS;
|
|
lastFreeBlockSize: ADDRESS;
|
|
lastFreeBlockSize: ADDRESS;
|