Original bug ID: 1116
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Yutaka Oiwa
Version: 3.04
OS: Linux
Submission from: h135-162.tokyu-net.catv.ne.jp (210.149.135.162)

Gc.get () returns invalid untagged integers for some fields.

% ocaml;;
Objective Caml version 3.04

let v = Gc.get ();;

val v : Gc.control =
{Gc.minor_heap_size = 32768; Gc.major_heap_increment = 63488;
Gc.space_overhead = 42; Gc.verbose = 0; Gc.max_overhead = 1000000;
Gc.stack_limit = 262144}

v.Gc.minor_heap_size * 2 / 2 = v.Gc.minor_heap_size;;

• : bool = false (* should be true *)

Obj.is_block (Obj.field (Obj.repr v) 0);;

• : bool = true (* should be false *)

byterun/gc_ctrl.c:276:
Store_field (res, 0, Wsize_bsize (Val_long (minor_heap_size))); /* s /
Store_field (res, 1, Wsize_bsize (Val_long (major_heap_increment))); / i */

This should be Val_long (Wsize_bsize (...)).
The file asmrun/gc_ctrl.c contains the same code.