1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
(* TEST
flags = "-w -a";
ocamlrunparam += "l=100000";
no-tsan; (* TSan does not support call stacks bigger than 64k frames *)
{
bytecode;
}
{
native;
}
*)
let rec f x =
if not (x = 0 || x = 10000 || x = 20000)
then 1 + f (x + 1)
else
try
1 + f (x + 1)
with Stack_overflow ->
print_string "x = "; print_int x; print_newline();
raise Stack_overflow
let _ =
let p = Sys.opaque_identity (ref 42) in
begin
try
ignore(f 0)
with Stack_overflow ->
print_string "Stack overflow caught"; print_newline()
end ;
for i = 1 to 1000 do ignore (Sys.opaque_identity (ref 1_000_000)) done;
(* GPR#1289 *)
Printexc.record_backtrace true;
begin
try
ignore(f 0)
with Stack_overflow ->
print_string "second Stack overflow caught"; print_newline()
end;
print_string "!p = "; print_int !p; print_newline ()
|
