[Caml-list] strange integer division result in ocamlopt ...

[Tao Stein <taostein@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 1092 bytes --]

I'm getting a strange result using ocamlopt that seems to violate the basic
axioms of integer division.

Some context first:
taostein@~/b2/f2: which ocamlopt
/Users/taostein/.opam/4.02.1/bin/ocamlopt
taostein@~/b2/f2: ocamlopt -o foo.opt foo.ml
taostein@~/b2/f2: which ocamlc
/Users/taostein/.opam/4.02.1/bin/ocamlc
taostein@~/artcode/b2/f2: ocamlc -o foo foo.ml

Built with ocamlopt, the following code throws an exception. Built with
ocamlc it does not.

let k1 = 1;;
let rec f i k =
  if (((i / k1) * k1 + (i mod k1)) <> i)
  then (raise (Failure "violation of integer division axiom"))
  else (if (i < 10) then (f (i + 1) k) else ()) in
f 0 1;;

Now, if I change the above only on line 3 changing k1 to k, then it works
fine, no problem.

let k1 = 1;;
let rec f i k =
  if (((i / k) * k + (i mod k)) <> i)
  then (raise (Failure "violation of integer division axiom"))
  else (if (i < 10) then (f (i + 1) k) else ()) in
f 0 1;;

No exception in either ocamlc or ocamlopt.

Using ocamlopt, it seems 1 mod 1 = 1. This is problematic.

Tao Stein / 石涛

[-- Attachment #2: Type: text/html, Size: 1514 bytes --]