segfault in 3.10

segfault in 3.10

[micha]

I get a segfault when compiling the program below with ocamlopt 3.10 on
linux (athlon xp) and running it without an argument (it should throw
an exception). The code below is the smallest part of my program
, without much sense now :-) which produces the segfault; changing
something gives you the normal exception:
  Fatal error: exception Invalid_argument("index out of bounds")

for accessing a non existing array field.

I comiled it with ocamlopt -o seg seg.ml

Is this on my system only or can someone reproduce this?

thanks
 Michael

---------------------------------
open Printf;;
module ISet = Set.Make (struct type t=int let compare = (-) end);;

let gen_hash keys maxlen = (fun i -> 0);;

let test_hash hash keys =
        let set = Queue.fold(fun set k -> ISet.remove 0 set)
(ISet.empty) keys in () ;;

let _ =
        printf "%s keys...\n" Sys.argv.(1);
        let k = Queue.create() in
        let h = gen_hash k 20 in
        print_endline "ready";
        test_hash h k

Re: [Caml-list] segfault in 3.10

[Olivier Andrieu]

On 6/28/07, micha <micha-1@fantasymail.de> wrote:
> I comiled it with ocamlopt -o seg seg.ml
>
> Is this on my system only or can someone reproduce this?

I get this when I request exception backtrace (via OCAMLRUNPARAM)
_and_ when the program is compiled without -g.

It seems to be the same bug as this one:
http://caml.inria.fr/mantis/view.php?id=4300

-- 
  Olivier

Re: [Caml-list] segfault in 3.10

[Jon Harrop]

On Thursday 28 June 2007 22:38:30 micha wrote:
> I get a segfault when compiling the program below with ocamlopt 3.10 on
> linux (athlon xp) and running it without an argument (it should throw
> an exception). The code below is the smallest part of my program...

Here's an implementation that's both shorter and faster: ;-)

  print_endline Sys.argv.(-1)

Run with:

$ ocamlopt test.ml -o test
$ export CAMLRUNPARAM=b
$ ./test
Segmentation fault

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
The OCaml Journal
http://www.ffconsultancy.com/products/ocaml_journal/?e