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 AAA17044; Thu, 13 Nov 2003 00:29:41 +0100 (MET) 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 AAA16690 for ; Thu, 13 Nov 2003 00:29:40 +0100 (MET) Received: from swordfish.cs.caltech.edu (swordfish.cs.caltech.edu [131.215.44.124]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id hACNTd123188 for ; Thu, 13 Nov 2003 00:29:39 +0100 (MET) Received: from cs.caltech.edu (wasco.cs.caltech.edu [131.215.44.173]) by swordfish.cs.caltech.edu (Postfix) with ESMTP id BCD88DF265 for ; Wed, 12 Nov 2003 15:29:38 -0800 (PST) Message-ID: <3FB2C262.6090908@cs.caltech.edu> Date: Wed, 12 Nov 2003 15:29:38 -0800 From: Aleksey Nogin Organization: California Institute of Technology, Computer Science Department User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4.1) Gecko/20031030 X-Accept-Language: ru, en-us, en MIME-Version: 1.0 To: caml-list@inria.fr Subject: [Caml-list] Ocaml program crashes on Opteron References: <1056553283.29759.501.camel@localhost.localdomain> <20030625173222.A22658@pauillac.inria.fr> <3EFB62BE.8050305@cs.caltech.edu> <3EFE0590.5080509@cs.caltech.edu> <20030629180519.A22495@pauillac.inria.fr> <3EFF52E0.7070205@cs.caltech.edu> <20030630105846.A2277@pauillac.inria.fr> <3F00DE2A.9030402@cs.caltech.edu> <20030701110009.C32029@pauillac.inria.fr> <3F025D79.3010803@cs.caltech.edu> <20030702105950.A6945@pauillac.inria.fr> In-Reply-To: <20030702105950.A6945@pauillac.inria.fr> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Loop: caml-list@inria.fr X-Spam: no; 0.00; crashes:01 3.07:01 mandrake:01 segfaults:01 reproducible:01 crashes:01 ocamlopt:01 -inline:01 gcc:01 -verbose:01 debugging:01 gdb:01 sigsegv:01 subst:01 gdb:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I've been trying to use OCaml 3.07 on an Opteron machine running the latest Fedora Core development (AKA Red Hat Rawhide) with a binary kernel from Mandrake 9.2beta3. I've successfully compiled Ocaml 3.07, but when I compile our "omake" system with it, omake segfaults in a reproducible fashion (it reliably works for some things and reliably crashes for others). After compiling omake with "ocamlopt.opt -inline 0 -ccopt -g -cc gcc32 -S -verbose", and then re-running the last linking step with .s files instead of .o files (to get debugging information tied to the assembly files), I get from gdb: > ... > Program received signal SIGSEGV, Segmentation fault. > Omake_wild__wild_subst_429 () at omake_wild.s:419 > 419 movzbq -8(%rbx), %rdi > Current language: auto; currently asm > (gdb) bt > #0 Omake_wild__wild_subst_429 () at omake_wild.s:419 > #1 0x0000002a9557ae00 in ?? () > #2 0x000000000044fa02 in List__map_86 () > #3 0x0000002a95c9b698 in ?? () > #4 0x0000002a9557a508 in ?? () > #5 0x0000002a95cdc780 in ?? () > #6 0x000000000041df9a in Omake_env__collect_3575 () at omake_env.s:1780 > ... The relevant part of omake_wild.s is: > ... > .text > .align 16 > .globl Omake_wild__wild_subst_429 > Omake_wild__wild_subst_429: > subq $8, %rsp > .L145: > movzbq -8(%rbx), %rdi <<< it crashes here <<< > testq %rdi, %rdi > je .L144 > ... (note that there are no references to L145 in that file) and the Ocaml code for Omake_wild.wild_subst is: > let wild_subst (len, s) wild = > match wild with > WildLiteral node -> > WildNode node > | WildSplit (plen, prefix, slen, suffix) -> > WildString (prefix ^ s ^ suffix) > and it is being called from > match search patterns with > Some subst -> > let source_args = List.map (wild_subst subst) sources in Some additional information (full back trace, register contents, etc) is available at http://cvs.metaprl.org:12000/bugzilla/show_bug.cgi?id=111 Any guesses as to what might be causing this? Any hints on what I could do to invertigate this further? -- Aleksey Nogin Home Page: http://nogin.org/ E-Mail: nogin@cs.caltech.edu (office), aleksey@nogin.org (personal) Office: Jorgensen 70, tel: (626) 395-2907 ------------------- 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