blob: cbb2bff1f5a092f450d84783e88004a33d4c9fd0 (
plain)
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
|
open Lib;;
try
ignore (3 / 0);
raise Not_found;
with Division_by_zero -> ()
(**
0 CONSTINT 42
2 PUSHACC0
3 MAKEBLOCK1 0
5 POP 1
7 SETGLOBAL Lib
9 PUSHTRAP 19
11 CONST0
12 PUSHCONST3
13 DIVINT
14 GETGLOBAL Not_found
16 MAKEBLOCK1 0
18 RAISE
19 PUSHGETGLOBAL Division_by_zero
21 PUSHACC1
22 GETFIELD0
23 EQ
24 BRANCHIFNOT 29
26 CONST0
27 BRANCH 31
29 ACC0
30 RAISE
31 POP 1
33 ATOM0
34 SETGLOBAL T110-divint-3
36 STOP
**)
|
