You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 339 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: David Fox
Version:
OS:
Submission from: estephe.inria.fr (128.93.11.95)
Submitted by: xleroy
If I create a program with 2049 simple functions:
let f1 () = ()
let f2 () = ()
...
let f2049 () = ()
(You can build this using yes "" | cat -n | head -2049 |
sed 's/^[^0-9]([0-9])[^0-9]*$/let f\1 () = ()/' > y.ml)
I get a seg fault if I compile it with the -custom flag and use a
debugging version of malloc:
% ocamlc -custom y.ml -ccopt -lefence
% ./a.out
Electric Fence 2.2.0 Copyright (C) 1987-1999 Bruce Perens bruce@perens.com
Segmentation fault (core dumped)
%
or if I link using the debugging library libcamlrund.a:
% ./a.out
O'Caml runtime: debug mode
Initial minor heap size: 128k bytes
Initial major heap size: 248k bytes
Initial space overhead: 42%
Initial max overhead: 1000000%
Initial heap increment: 248k bytes
Initial stack limit: 1024k bytes
file interp.c; line 255 ### Assertion failed: sp >= stack_low
If I use the regular (non-debugging) library I don't get the seg fault
immediately, but in a real life situation things get ugly pretty
quickly.
The text was updated successfully, but these errors were encountered:
Original bug ID: 339
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: David Fox
Version:
OS:
Submission from: estephe.inria.fr (128.93.11.95)
Submitted by: xleroy
If I create a program with 2049 simple functions:
let f1 () = ()
let f2 () = ()
...
let f2049 () = ()
(You can build this using yes "" | cat -n | head -2049 |
sed 's/^[^0-9]([0-9])[^0-9]*$/let f\1 () = ()/' > y.ml)
I get a seg fault if I compile it with the -custom flag and use a
debugging version of malloc:
% ocamlc -custom y.ml -ccopt -lefence
% ./a.out
Electric Fence 2.2.0 Copyright (C) 1987-1999 Bruce Perens bruce@perens.com
Segmentation fault (core dumped)
%
or if I link using the debugging library libcamlrund.a:
% ./a.out
O'Caml runtime: debug mode
Initial minor heap size: 128k bytes
Initial major heap size: 248k bytes
Initial space overhead: 42%
Initial max overhead: 1000000%
Initial heap increment: 248k bytes
Initial stack limit: 1024k bytes
file interp.c; line 255 ### Assertion failed: sp >= stack_low
If I use the regular (non-debugging) library I don't get the seg fault
immediately, but in a real life situation things get ugly pretty
quickly.
The text was updated successfully, but these errors were encountered: