Re: Heap exhaustion in compilation, in SB-BIGNUM:BIGNUM-ASHIFT-LEFT-FIXNUM

FIxed. Thanks.


On Sat, Jan 31, 2026 at 3:20 PM Eric Marsden via Sbcl-devel
<[email protected]> wrote:
>
> Hi,
>
> This is from random-integer testing on AMD64.
>
> * (lisp-implementation-version)
> "2.6.1.51-1268f73b6"
> * (defun foo (a b)
>      (declare (type (integer -67403236331095 -5833318) a))
>      (declare (type (integer 2 47858508465397) b))
>      (flet ((%f (f-1 &optional (f-2 (catch 'ct1 0)))
>                 (ash (sbit #*111011101110 (min 11 (max 0 a))) (min 77
> f-1))))
>        (multiple-value-call #'%f
>                             (values (elt #(239628477544 1 254463630036)
>                                          (min 2 (max 0 b)))))))
>
> ; in: DEFUN FOO
> ;     (%F (F-1 &OPTIONAL (F-2 (CATCH 'CT1 0)))
> ;      (ASH (SBIT #*111011101110 (MIN 11 (MAX 0 A))) (MIN 77 F-1)))
> ;
> ; caught STYLE-WARNING:
> ;   The variable F-2 is defined but never used.
> Heap exhausted during allocation: 2368339968 bytes available,
> 31807953776 requested.
>       | Immobile Objects |
>   Gen layout symbol   code  Boxed   Cons    Raw   Code  SmMix  Mixed
> LgRaw LgCode  LgMix Waste%       Alloc        Trig   Dirty GCs Mem-age
>    0    161    489    981      1    228      1     14      1    702
> 0      0      0    2.0    30398992    24162016       -   1 0.0000
>    1      0      0      0      0      0      0      0      0      0
> 0      0      0    0.0           0     2000000       0   0 0.0000
>    2      0      0      0      0      0      0      0      0      0
> 0      0      0    0.0           0     2000000       0   0 0.0000
>    3      0      0      0      0      0      0      0      0      0
> 0      0      0    0.0           0     2000000       0   0 0.0000
>    4      0      0      0      0      0      0      0      0      0
> 0      0      0    0.0           0     2000000       0   0 0.0000
>    5      0      0      0      0      0      0      0      0      0
> 0      0      0    0.0           0     2000000       0   0 0.0000
>    6    768  23304  19583    222    114      6      3     11     12
> 0      0      9    3.0    11978928     2000000      24   0 0.0000
> Tot    929  23793  20564    223    342      7     17     12    714
> 0      0      9    2.3    42377920 [1.8% of 2411724800 max]
> GC control variables:
>     *GC-INHIBIT* = false
>     *GC-PENDING* = true
>     *STOP-FOR-GC-PENDING* = false
> Collection trigger variables:
>     dynamic_space_size = 2411724800
>     bytes_allocated = 42377920
>     auto_gc_trigger = 132609936
>     bytes_consed_between_gcs = 120586240
>
> debugger invoked on a SB-KERNEL::HEAP-EXHAUSTED-ERROR in thread
> #<THREAD tid=34314 "main thread" RUNNING {12029680A3}>:
>    Heap exhausted (no more space for allocation).
> 2368339968 bytes available, 31807953776 requested.
>
> PROCEED WITH CAUTION.
>
> Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.
>
> restarts (invokable by number or by possibly-abbreviated name):
>    0: [ABORT] Exit debugger, returning to top level.
>
> (SB-KERNEL::HEAP-EXHAUSTED-ERROR 1184169984 15903976888)
> 0] backtrace
>
> Backtrace for: #<SB-THREAD:THREAD tid=34314 "main thread" RUNNING
> {12029680A3}>
> 0: (SB-KERNEL::HEAP-EXHAUSTED-ERROR 1184169984 15903976888)
> 1: ("foreign function: call_into_lisp_")
> 2: ("foreign function: funcall2")
> 3: ("foreign function: gc_heap_exhausted_error_or_lose")
> 4: ("foreign function: gc_find_freeish_pages")
> 5: ("foreign function: gc_alloc_large")
> 6: (SB-VM::ALLOC-TRAMP)
> 7: (SB-BIGNUM:BIGNUM-ASHIFT-LEFT-FIXNUM #<unavailable argument>
> #<unavailable argument>)
> 8: (SB-C::CAREFUL-CALL ASH (1 254463630036))
> 9: (SB-C::%CONSTANT-FOLD-CALL-MULTIPLE-USES #<SB-C::COMBINATION :FUN ASH
> :ARGS (#<SB-C::REF  :LEAF 1 {1202951A23}> (#<SB-C::REF :%SOURCE-NAME
> #:MAXREST5 :LEAF 254463630036 {120291FA43}> #<SB-C::REF :%SOURCE-NAME
> #:ARG04 :LEAF 77 {120291FAE3}>)) {1202919B63}> #<SB-C::LVAR 1
> {1202922CF3}> NIL NIL)
>
>
> _______________________________________________
> Sbcl-devel mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/sbcl-devel


_______________________________________________
Sbcl-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/sbcl-devel