From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p37AkCDu020554
	for <caml-list@sympa-roc.inria.fr>; Thu, 7 Apr 2011 12:46:12 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AiUGAIyVnU1b0a+AgWdsb2JhbACYc40RFAEBFiYlwhKFbQSRLQ
X-IronPort-AV: E=Sophos;i="4.63,315,1299452400"; 
   d="scan'208";a="96483738"
Received: from mail.motion-twin.com ([91.209.175.128])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 07 Apr 2011 12:46:05 +0200
Received: from [82.233.74.207] (helo=[192.168.2.120])
	by mail.motion-twin.com with esmtpsa (TLS1.0:RSA_AES_256_CBC_SHA1:32)
	(Exim 4.69)
	(envelope-from <ncannasse@motion-twin.com>)
	id 1Q7miu-0005Sq-HC
	for caml-list@inria.fr; Thu, 07 Apr 2011 12:46:01 +0200
Message-ID: <4D9D95E5.1040701@motion-twin.com>
Date: Thu, 07 Apr 2011 12:45:57 +0200
From: Nicolas Cannasse <ncannasse@motion-twin.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; fr; rv:1.9.2.15) Gecko/20110303 Lightning/1.0b2 Thunderbird/3.1.9
MIME-Version: 1.0
To: caml-list@inria.fr
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] Missing stack frames

Hi,

While debugging the haXe compiler (http://haxe.org, entirely written in 
OCaml) I got a Not_found exception in native mode. However using 
OCAMLRUNPARAM=b was only giving me the first 4-5 stack frames, making it 
impossible to debug.

I noticed that it was caused by an exception raised from a CMXA library 
that was not compiled with -g. That would not be a big issue since I 
don't want to debug the library itself but a lot of my software stack 
frames was also removed.

Is it a known issue ?

I'm using 3.11.0 MSVC on WinXP32 (since there is no 3.12 MSVC available 
yet).

In order to reproduce, you can :

a) download haXe SVN r3766 (binary on http://haxe.cmt.tc/, sources on 
http://haxe.googlecode.com/svn/trunk/

b) create the following file named "Test.hx" :

enum E { A; B; }
class Test {
   public function run() {
     switch(A) { case A: var id = 0; return; case B: var id = 0; }
   }
}

c) compile with "haxe Test.hx"

The full actual stack frame should be :

Fatal error: exception Not_found
Raised at file "pMap.ml", line 107, characters 21-30
Called from file "pMap.ml", line 150, characters 15-20
Called from file "pMap.ml", line 151, characters 21-29
Called from file "codegen.ml", line 686, characters 30-47
Called from file "list.ml", line 69, characters 12-15
Called from file "list.ml", line 69, characters 12-15
Called from file "codegen.ml", line 710, characters 3-27
Called from file "codegen.ml", line 746, characters 3-22
Called from file "codegen.ml", line 798, characters 1-24
Called from file "list.ml", line 74, characters 24-34
Called from file "codegen.ml", line 812, characters 23-66
Called from file "list.ml", line 69, characters 12-15
Called from file "codegen.ml", line 814, characters 3-46
Called from file "list.ml", line 69, characters 12-15
Called from file "main.ml", line 609, characters 2-34
Called from file "main.ml", line 726, characters 0-52

The stack frame we get if extLib (which contains pMap.ml) is not 
compiled with -g is :

Called from file "main.ml", line 609, characters 2-34
Called from file "main.ml", line 726, characters 0-52

Best Regards,
Nicolas