From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id D51037EC41 for ; Tue, 16 Oct 2012 17:08:44 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of lhong@amnh.org) identity=pra; client-ip=216.73.244.163; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="lhong@amnh.org"; x-sender="lhong@amnh.org"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of lhong@amnh.org) identity=mailfrom; client-ip=216.73.244.163; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="lhong@amnh.org"; x-sender="lhong@amnh.org"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@spam.amnh.org) identity=helo; client-ip=216.73.244.163; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="lhong@amnh.org"; x-sender="postmaster@spam.amnh.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AskAALt3fVDYSfSjmWdsb2JhbAArGoJLI7Q7AYh6AQEBAQEICwsHFCeCIgWBCwEMHlYmAQQbh3wBCiyZTJEHkE6RLGADiCOOXYoKiACCFw X-IronPort-AV: E=Sophos;i="4.80,593,1344204000"; d="scan'208,217";a="177478992" Received: from mail-mx-001.amnh.org (HELO spam.amnh.org) ([216.73.244.163]) by mail1-smtp-roc.national.inria.fr with ESMTP; 16 Oct 2012 17:08:43 +0200 X-ASG-Debug-ID: 1350400121-041b4a6ade38c80001-jBxyQn Received: from amnh.org ([172.16.8.237]) by spam.amnh.org with ESMTP id qg3KH4tbvH2Bdvbd for ; Tue, 16 Oct 2012 11:08:41 -0400 (EDT) X-Barracuda-Envelope-From: lhong@amnh.org Received: from MAIL-MBX-004.internal.amnh.org ([fe80::7070:e0a1:bc56:c30a]) by MAIL-CASHT-002.internal.amnh.org ([fe80::f48f:c9ac:48a3:c7ed%10]) with mapi id 14.01.0289.001; Tue, 16 Oct 2012 11:08:41 -0400 From: Lin Hong X-Barracuda-Apparent-Source-IP: fe80::7070:e0a1:bc56:c30a To: "caml-list@inria.fr" Thread-Topic: Segmentation fault from Array.append X-ASG-Orig-Subj: Segmentation fault from Array.append Thread-Index: Ac2rr9EX9pdeTykEReS0KJzd2+kKjg== Date: Tue, 16 Oct 2012 15:08:40 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [172.16.8.249] Content-Type: multipart/alternative; boundary="_000_C960B6881E802A459A09A7DAD55690053E7C4C37MAILMBX004inter_" MIME-Version: 1.0 X-Barracuda-Connect: UNKNOWN[172.16.8.237] X-Barracuda-Start-Time: 1350400121 X-Barracuda-URL: http://spam.amnh.org:80/cgi-mod/mark.cgi X-Virus-Scanned: by bsmtpd at amnh.org X-Barracuda-Spam-Score: 0.00 X-Barracuda-Spam-Status: No, SCORE=0.00 using global scores of TAG_LEVEL=1000.0 QUARANTINE_LEVEL=4.0 KILL_LEVEL=9.0 tests=HTML_MESSAGE X-Barracuda-Spam-Report: Code version 3.2, rules version 3.2.2.111509 Rule breakdown below pts rule name description ---- ---------------------- -------------------------------------------------- 0.00 HTML_MESSAGE BODY: HTML included in message Subject: [Caml-list] Segmentation fault from Array.append --_000_C960B6881E802A459A09A7DAD55690053E7C4C37MAILMBX004inter_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Hi, all we got a Segmentation fault with Ocaml 4.0.0 and 4.0.1 from append function= of Array. gdb traceback give us this: Program received signal EXC_BAD_ACCESS, Could not access memory. Reason: KERN_INVALID_ADDRESS at address: 0x0000000107b65000 0x0000000100488840 in mark_slice () (gdb) backtrace #0 0x0000000100488840 in mark_slice () #1 0x0000000100489216 in caml_major_collection_slice () #2 0x000000010048984c in caml_check_urgent_gc () #3 0x000000010048f26d in caml_array_gather () #4 0x000000010048f42e in caml_array_append () #5 0x00000001003ef216 in .L363 () Previous frame inner to this frame (gdb could not unwind past this frame) (gdb) looks like the error is from array.c we don't see this problem with Ocaml3.X.X, they have different array functi= on in the cside anyway. Does anyone else have similar problem like this? Thanks in advance for any suggestions. Cheers, Lin Hong American Museum of Natural History POY website : https://code.google.com/p/poy/ http://research.amnh.org/scicomp/scripts/download.php --_000_C960B6881E802A459A09A7DAD55690053E7C4C37MAILMBX004inter_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Hi, all

we got a Segmentation fault with Ocaml 4.0.0 and 4.0.1 from appen= d function of Array. gdb traceback give us this:

Program received signal EXC_BAD_ACCESS, Could not access memory.
Reason: KERN_INVALID_ADDRESS at address: 0x0000000107b65000
0x0000000100488840 in mark_slice ()
(gdb) backtrace
#0  0x0000000100488840 in mark_slice ()
#1  0x0000000100489216 in caml_major_collection_slice ()
#2  0x000000010048984c in caml_check_urgent_gc ()
#3  0x000000010048f26d in caml_array_gather ()
#4  0x000000010048f42e in caml_array_append ()
#5  0x00000001003ef216 in .L363 ()
Previous frame inner to this frame (gdb could not unwind past this fra= me)
(gdb) 

looks like the error is from array.c 

we don't see this problem with Ocaml3.X.X, they have different array f= unction in the cside anyway. 

Does anyone else have similar problem like this?


Thanks in advance for any suggestions.

Cheers,
Lin Hong
American Museum of Natural History
POY website : 
--_000_C960B6881E802A459A09A7DAD55690053E7C4C37MAILMBX004inter_--