From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id F099DBCAE for ; Mon, 18 Jul 2005 11:36:27 +0200 (CEST) Received: from mail.tcs.inf.tu-dresden.de (tcs01.inf.tu-dresden.de [141.76.75.1]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6I9aRbt025259 for ; Mon, 18 Jul 2005 11:36:27 +0200 Received: from conversion-daemon.mail.tcs.inf.tu-dresden.de by mail.tcs.inf.tu-dresden.de (Sun Java System Messaging Server 6.1 HotFix 0.06 (built Nov 11 2004)) id <0IJT00M01HCRK900@mail.tcs.inf.tu-dresden.de> (original mail from tews@tcs.inf.tu-dresden.de) for caml-list@yquem.inria.fr; Mon, 18 Jul 2005 11:36:27 +0200 (MEST) Received: from ithif59.inf.tu-dresden.de (ithif59.inf.tu-dresden.de [141.76.75.59]) by mail.tcs.inf.tu-dresden.de (Sun Java System Messaging Server 6.1 HotFix 0.06 (built Nov 11 2004)) with ESMTPS id <0IJT00GUEHCRCP00@mail.tcs.inf.tu-dresden.de> for caml-list@yquem.inria.fr; Mon, 18 Jul 2005 11:36:27 +0200 (MEST) Received: from tews by ithif59.inf.tu-dresden.de with local (Exim 4.50) id 1DuS31-0000K2-Ds for caml-list@yquem.inria.fr; Mon, 18 Jul 2005 11:36:27 +0200 Date: Mon, 18 Jul 2005 11:36:27 +0200 From: Hendrik Tews Subject: Re: [Caml-list] OCamldebug breakpoint issues (fwd) In-reply-to: To: caml-list@yquem.inria.fr Message-id: MIME-version: 1.0 Content-type: text/plain; charset=us-ascii Content-transfer-encoding: 7BIT References: User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 X-Miltered: at concorde with ID 42DB781B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; hendrik:01 tews:01 tews:01 caml-list:01 ocamldebug:01 breakpoints:01 ocamldebug:01 bug:01 ocaml:01 bignum:01 bignum:01 columns:01 debugger:01 breakpoints:01 stepping:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: "Nathaniel J. Gaylinn" writes: I'm having trouble dealing with breakpoints in OCamldebug. The I can reproduce all the things you describe. I guess you hit some location translation problem. You should file a bug report (the ocaml maintains sometimes miss an email on the list). The "info events Bignum" yields Module : Bignum Address Character Kind Repr. 14332 31 pseudo/fun (repr) 14480 50 before 14332 14456 64 before 14332 14408 95 before 14332 14428 138 after/ret 15204 152 pseudo/fun 15224 15224 168 before (repr) 14724 185 pseudo/fun (repr) 15192 208 before 14724 Could someone please explain what the kind and repl columns mean? (The strings "kind" and "repl" do not occur in the debugger manual.) As the numbers match one could think that the events at #50, #64, and #95 are aliases for #31. Looking at the source, one could imagine #50 and #64 being the same (function exit), however, #95 should be very different from #31. What's truly baffling to me, though, is this: if I try to set an event at offset 185 (break @ Bignum #185) a breakpoint is created at offset 168, the event before the one I requested. However, when I try to set a breakpoint at offset 208, I get a breakpoint set at offset 185!!! This is indeed very strange. Then I started trying to set breakpoints at each event one after the other. That's when I began to see odd behavior. BTW, why don't you use the single stepping feature, if you want to break at every event? Bye, Hendrik