From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA18089; Thu, 12 Apr 2001 20:31:08 +0200 (MET DST)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA18078 for <caml-list@pauillac.inria.fr>; Thu, 12 Apr 2001 20:31:07 +0200 (MET DST)
Received: from hci.ucsd.edu (hci.ucsd.edu [132.239.215.210])
	by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f3CIV6T27849
	for <caml-list@inria.fr>; Thu, 12 Apr 2001 20:31:06 +0200 (MET DST)
Received: (from dsf@localhost)
	by hci.ucsd.edu (8.9.3/8.9.3) id LAA20595;
	Thu, 12 Apr 2001 11:31:04 -0700
To: caml-list@inria.fr
Subject: [Caml-list] Seg fault with -custom and 2049 lets...
From: David Fox <dsfox@cogsci.ucsd.edu>
Date: 12 Apr 2001 11:31:04 -0700
In-Reply-To: William Chesters's message of "Thu, 12 Apr 2001 19:53:45 +0200 (CEST)"
Message-ID: <lu4rvu9dhz.fsf_-_@hci.ucsd.edu>
X-Mailer: Gnus v5.7/Emacs 20.3
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

If I create a program with 2049 simple functions:

  let f1 () = ()
  let f2 () = ()
  ...
  let f2049 () = ()

(You can build this using yes "" | cat -n | head -2049 |
 sed 's/^[^0-9]*\([0-9]*\)[^0-9]*$/let f\1 () = ()/' > y.ml)

I get a seg fault if I compile it with the -custom flag and use a
debugging version of malloc:

  % ocamlc -custom y.ml -ccopt -lefence
  % ./a.out
  
   Electric Fence 2.2.0 Copyright (C) 1987-1999 Bruce Perens <bruce@perens.com>
  Segmentation fault (core dumped)
  % 

or if I link using the debugging library libcamlrund.a:

  % ./a.out
  ### O'Caml runtime: debug mode ###
  Initial minor heap size: 128k bytes
  Initial major heap size: 248k bytes
  Initial space overhead: 42%
  Initial max overhead: 1000000%
  Initial heap increment: 248k bytes
  Initial stack limit: 1024k bytes
  file interp.c; line 255 ### Assertion failed: sp >= stack_low

If I use the regular (non-debugging) library I don't get the seg fault
immediately, but in a real life situation things get ugly pretty
quickly.

-david
-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr