From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.9 required=5.0 tests=DNS_FROM_RFC_ABUSE, HTML_MESSAGE,SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 6B63BBBE1 for ; Wed, 11 Oct 2006 20:48:43 +0200 (CEST) Received: from smtp.microsoft.com (smtp.microsoft.com [131.107.115.212]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id k9BImaC6022904 (version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NO) for ; Wed, 11 Oct 2006 20:48:42 +0200 Received: from mailout5.microsoft.com (157.54.69.148) by TK5-EXGWY-E801.partners.extranet.microsoft.com (10.251.56.50) with Microsoft SMTP Server id 8.0.647.8; Wed, 11 Oct 2006 11:48:34 -0700 Received: from tuk-hub-02.redmond.corp.microsoft.com ([157.54.70.28]) by mailout5.microsoft.com with Microsoft SMTPSVC(6.0.3790.2786); Wed, 11 Oct 2006 11:47:33 -0700 Received: from tk5-exhub-c103.redmond.corp.microsoft.com ([157.54.70.186]) by tuk-hub-02.redmond.corp.microsoft.com over TLS secured channel with Microsoft SMTPSVC(6.0.3790.1830); Wed, 11 Oct 2006 11:47:32 -0700 Received: from win-imc-02.wingroup.windeploy.ntdev.microsoft.com (157.54.69.169) by tk5-exhub-c103.redmond.corp.microsoft.com (157.54.70.186) with Microsoft SMTP Server id 8.0.665.7; Wed, 11 Oct 2006 11:47:32 -0700 Received: from WIN-MSG-21.wingroup.windeploy.ntdev.microsoft.com ([157.54.62.26]) by win-imc-02.wingroup.windeploy.ntdev.microsoft.com with Microsoft SMTPSVC(6.0.3790.2786); Wed, 11 Oct 2006 11:47:32 -0700 X-MimeOLE: Produced By Microsoft Exchange V6.5 Content-Class: urn:content-classes:message MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C6ED65.8794BECA" Subject: Missing overflow exception message in ocamlopt Date: Wed, 11 Oct 2006 11:46:14 -0700 Message-ID: <43CD2D195487A448934920501C6EDB23026B233F@WIN-MSG-21.wingroup.windeploy.ntdev.microsoft.com> X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: Missing overflow exception message in ocamlopt Thread-Index: AcbtZYc3/qx/E7pXTT2uCRzPqepRxw== From: Jakob Lichtenberg To: X-OriginalArrivalTime: 11 Oct 2006 18:47:32.0218 (UTC) FILETIME=[B5ADBDA0:01C6ED65] X-j-chkmail-Score: MSGID : 452D3C84.001 on discorde : j-chkmail score : XXX : 5/20 1 X-Miltered: at discorde with ID 452D3C84.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocamlopt:01 ocaml-:01 byte:01 stack:01 ocamlopt:01 printf:01 printf:01 stdout:01 stdout:01 ocamlc:01 ocamlc:01 stack:01 bug:01 ocaml-:01 byte:01 ------_=_NextPart_001_01C6ED65.8794BECA Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Using ocaml-3.09.3-win-msvc =20 When I compile the following program as byte code I see a stack overflow (expected). When using ocamlopt it seems that the program dies and I do not see the expected overflow exception? =20 >type overflow.ml let array_1=3DArray.make 229376 42;; let _ =3D Printf.printf "A\n";; flush stdout;; =20 let array_2=3DArray.make 32768 43;; let _ =3D Printf.printf "B\n";; flush stdout;; =20 let list_1 =3D Array.to_list(array_1);; let _ =3D Printf.printf "C\n";; flush stdout;; =20 let list_2 =3D Array.to_list(array_2);; let _ =3D Printf.printf "D\n";; flush stdout;; =20 let list_3 =3D list_1@list_2;; let _ =3D Printf.printf "E\n";; flush stdout;; =20 >ocamlc overflow.ml -o overflow_ocamlc.exe >overflow_ocamlc.exe A B C D Fatal error: exception Stack_overflow =20 >echo %ERRORLEVEL% 2 =20 >ocamlopt overflow.ml -o overflow_ocamlopt.exe >overflow_ocamlopt.exe A B C D =20 >echo %ERRORLEVEL% -1073741819 =20 Is this a bug? =20 Thanks, =20 - Jakob Lichtenberg =20 =20 ------_=_NextPart_001_01C6ED65.8794BECA Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable

Using ocaml-3.09.3-win-msvc

 

When I compile the following program as byte code I = see a stack overflow (expected).  When using ocamlopt it seems that the program = dies and I do not see the expected overflow exception?

 

>type = overflow.ml

let array_1=3DArray.make 229376 = 42;;

let _ =3D Printf.printf = "A\n";;

flush stdout;;

 

let array_2=3DArray.make 32768 = 43;;

let _ =3D Printf.printf = "B\n";;

flush stdout;;

 

let list_1 =3D = Array.to_list(array_1);;

let _ =3D Printf.printf = "C\n";;

flush stdout;;

 

let list_2 =3D = Array.to_list(array_2);;

let _ =3D Printf.printf = "D\n";;

flush stdout;;

 

let list_3 =3D = list_1@list_2;;

let _ =3D Printf.printf = "E\n";;

flush stdout;;

 

>ocamlc overflow.ml -o = overflow_ocamlc.exe

>overflow_ocamlc.exe

A

B

C

D

Fatal error: exception = Stack_overflow

 

>echo = %ERRORLEVEL%

2

 

>ocamlopt overflow.ml -o = overflow_ocamlopt.exe

>overflow_ocamlopt.exe

A

B

C

D

 

>echo = %ERRORLEVEL%

-1073741819

 

Is this a bug?

 

Thanks,

 

-          Jakob Lichtenberg

 

 

------_=_NextPart_001_01C6ED65.8794BECA--