Segv for very large memory request

[UWN]

(originally here)

?- length(_,E),E>50,N is 2^E,catch(length(L,N),error(Er,_),true).
   E = 51, N = 2251799813685248, Er = resource_error(memory)
;  E = 52, N = 4503599627370496, Er = resource_error(memory)
;  E = 53, N = 9007199254740992, Er = resource_error(memory)
;  E = 54, N = 18014398509481984, Er = resource_error(memory)
;  E = 55, N = 36028797018963968, Er = resource_error(memory)
;  E = 56, N = 72057594037927936, Er = resource_error(memory)
;  E = 57, N = 144115188075855872, Er = resource_error(memory)
;  E = 58, N = 288230376151711744, Er = resource_error(memory)
;  E = 59, N = 576460752303423488, Er = resource_error(memory)
;  Segmentation fault (core dumped) unexpected
ulrich@gupu:/opt/gupu/scryer-prolog$ /opt/gupu/scryer-prolog/target/release/scryer-prolog -f
?- use_module(library(lists)).
   true.
?- N is 2^60,length(L,N).
Segmentation fault (core dumped) unexpected
ulrich@gupu:/opt/gupu/scryer-prolog$ ulimit -v
10000000

[UWN]

Better. Yet... Did you let it run with #3207?

ulrich@gupu:/opt/gupu/skgland$ ulimit -v 10000000
ulrich@gupu:/opt/gupu/skgland$ target/release/scryer-prolog 
?- length(_,E),E>50,N is 2^E,catch(length(L,N),error(Er,_),true).
   E = 51, N = 2251799813685248, Er = resource_error(memory)
;  E = 52, N = 4503599627370496, Er = resource_error(memory)
;  E = 53, N = 9007199254740992, Er = resource_error(memory)
;  E = 54, N = 18014398509481984, Er = resource_error(memory)
;  E = 55, N = 36028797018963968, Er = resource_error(memory)
;  E = 56, N = 72057594037927936, Er = resource_error(memory)
;  E = 57, N = 144115188075855872, Er = resource_error(memory)
;  E = 58, N = 288230376151711744, Er = resource_error(memory)
;  E = 59, N = 576460752303423488, Er = resource_error(memory)
;  E = 60, N = 1152921504606846976, Er = resource_error(memory) % improvement!
;  E = 61, N = 2305843009213693952, Er = resource_error(memory)
;  E = 62, N = 4611686018427387904, Er = resource_error(memory)
;  pausing % actually, this is apport
   Segmentation fault (core dumped)

[Skgland]

Oh, I might have only re-tested the

?- use_module(library(lists)).
   true.
?- N is 2^60,length(L,N).

part of this issue and forgot to test the

?- length(_,E),E>50,N is 2^E,catch(length(L,N),error(Er,_),true).

part

[Skgland]

Based on my history I did indeed not try running it.
After managing to not crash gdb or my WSL2 VM, I managed to find another integer overflow and have pushed a new commit to #3207 .

For me at E=64 this now runs into #3201 and after E=5865 it panics with attempted to throw `error(resource_error(memory), [])` while attempting to throw `error(resource_error(memory), [])`

[UWN]

Now:

?- length(_,E),E>50,N is 2^E,catch(length(L,N),error(resource_error(Res),_),true).
   E = 51, N = 2251799813685248, Res = memory
;  E = 52, N = 4503599627370496, Res = memory
;  E = 53, N = 9007199254740992, Res = memory
;  E = 54, N = 18014398509481984, Res = memory
;  E = 55, N = 36028797018963968, Res = memory
;  E = 56, N = 72057594037927936, Res = memory
;  E = 57, N = 144115188075855872, Res = memory
;  E = 58, N = 288230376151711744, Res = memory
;  E = 59, N = 576460752303423488, Res = memory
;  E = 60, N = 1152921504606846976, Res = memory
;  E = 61, N = 2305843009213693952, Res = memory
;  E = 62, N = 4611686018427387904, Res = memory
;  E = 63, N = 9223372036854775808, Res = memory
;  error(resource_error(finite_memory,18446744073709551616),length/2), unexpected.

[UWN]

Now completely solved with #3207