Original bug ID: 3989
Reporter: Christophe
Assigned to: @xavierleroy
Status: closed (set by @xavierleroy on 2006-06-13T09:05:07Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.09.1
Category: ~DO NOT USE (was: OCaml general)

Bug description

exception Division_by_zero is not raised with ocamlopt -unsafe.
It is correctly raised with ocamlc -unsafe dans ocamlopt.

I don't known if it is a bug or an undocumented feature, but if it is a feature, it must be explicit in the documentation (in ocamlopt section, and perhaps in Pervasives !) !!!
It breaks any function that try to catch such exception....

Additional information

% cat toto.ml
let _ = Printf.printf "%i\n%!" (1/0)
% ocamlc -unsafe toto.ml -o toto
% ./toto
Fatal error: exception Division_by_zero
% ocamlopt.opt toto.ml -o toto
% ./toto
Fatal error: exception Division_by_zero
% ocamlopt -unsafe toto.ml -o toto
% ./toto
0