Allocation overflow check was incorrectly using signed comparison
instead of an unsigned one.
This commit is contained in:
parent
467095677e
commit
7f0f127081
Binary file not shown.
|
@ -487,7 +487,7 @@
|
|||
(define (alloc-check size)
|
||||
(E (make-shortcut
|
||||
(make-conditional ;;; PCB ALLOC-REDLINE
|
||||
(make-primcall '<=
|
||||
(make-primcall 'u<=
|
||||
(list (make-primcall 'int+ (list apr size))
|
||||
(make-primcall 'mref
|
||||
(list pcr
|
||||
|
|
|
@ -1 +1 @@
|
|||
1487
|
||||
1488
|
||||
|
|
Loading…
Reference in New Issue