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 OAA02426; Thu, 18 Sep 2003 14:52:58 +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 OAA00833 for ; Thu, 18 Sep 2003 14:52:57 +0200 (MET DST) Received: from aomori.annexia.org (annexia.force9.co.uk [212.56.101.183]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h8ICqu511034 for ; Thu, 18 Sep 2003 14:52:56 +0200 (MET DST) Received: from rich by aomori.annexia.org with local (Exim 3.36 #1 (Debian)) id 19zyHG-0005wH-00; Thu, 18 Sep 2003 13:52:54 +0100 Date: Thu, 18 Sep 2003 13:52:54 +0100 To: Alex Baretta Cc: Ocaml Subject: Re: [Caml-list] Segmentation fault at process initialization Message-ID: <20030918125254.GA22780@redhat.com> References: <3F69A471.9020807@baretta.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <3F69A471.9020807@baretta.com> User-Agent: Mutt/1.5.4i From: Richard Jones X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 baretta:01 runtime:01 -linkall:01 3.06,:01 crashes:01 -linkall:01 lacks:01 postgres:01 dynlink:01 cmas:01 gdb:01 gcc:01 ocamlopt:01 freshmeat:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thu, Sep 18, 2003 at 02:26:25PM +0200, Alex Baretta wrote: > When the Xcaml runtime system is linked with the -linkall option of > ocamlc-3.06, the xcaml executable I get crashes with a segmentation > fault at process initialization. If, on the other hand, I link the > executable without the -linkall option, it runs fine, except for the > fact that it lacks several library modules it should have. > > The libraries I'm using are the following: > postgres, which is know to work very well; > cgi, which contains no C code; > and str, num and dynlink coming straight from the ocaml distribution. > > My code is definitely not a problem because it runs fine if the -linkall > option is suppressed. Neither is the -linkall option a problem in and of > itself, because I can reproduce the behaviour by issuing equivalent > linking commands using the cmo files as opposed the cmas. > > How can I diagnose this segmentation fault? Under what circumstances > exactly are ocaml programs "allowed" to crash with a segmentation fault? Obviously under no circumstances, but I've had it happen a few times. If it's a native code version, try running it under gdb and look at the stack trace. You can usually work out from the name which module was being compiled. It'll be something like Module__entry for the toplevel code, or Module__function_123 for 'function' in the module. (You might need to supply the -g option to gcc, ie. ocamlopt -ccopt -g) Rich. -- Richard Jones. http://www.annexia.org/ http://freshmeat.net/users/rwmj Merjis Ltd. http://www.merjis.com/ - all your business data are belong to you. MAKE+ is a sane replacement for GNU autoconf/automake. One script compiles, RPMs, pkgs etc. Linux, BSD, Solaris. http://www.annexia.org/freeware/makeplus/ ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners