allocation check was still incorrect when the ap+size overflows and
shows up to be less than the end of allocation pointer.
This commit is contained in:
parent
7f0f127081
commit
b74e3976df
Binary file not shown.
|
@ -487,11 +487,13 @@
|
|||
(define (alloc-check size)
|
||||
(E (make-shortcut
|
||||
(make-conditional ;;; PCB ALLOC-REDLINE
|
||||
(make-primcall 'u<=
|
||||
(list (make-primcall 'int+ (list apr size))
|
||||
(make-primcall 'mref
|
||||
(list pcr
|
||||
(make-constant pcb-allocation-redline)))))
|
||||
(make-primcall '>=
|
||||
(list (make-primcall 'int-
|
||||
(list
|
||||
(make-primcall 'mref
|
||||
(list pcr (make-constant pcb-allocation-redline)))
|
||||
apr))
|
||||
size))
|
||||
(make-primcall 'nop '())
|
||||
(make-primcall 'interrupt '()))
|
||||
(make-funcall
|
||||
|
|
|
@ -1 +1 @@
|
|||
1488
|
||||
1489
|
||||
|
|
Loading…
Reference in New Issue