Re: [Caml-list] DWARF output for native-code

[Mark Shinwell <mshinwell@janestreet.com>]

On 19 November 2012 15:37, Pierre-Marie de Rodat <pmderodat@kawie.fr> wrote:
> I’ve discovered that a « dwarf » branch already exist
> on the repository: it is actively developped by « shinwell » since
> september. Even if it looks far from completion, it seems to have the
> same goal.

Yeah, I'm working on full DWARF output for ocamlopt, including the
appropriate gdb support.  This is a fairly complicated undertaking,
shall we say, and it will be a while until it's ready for a first
release.

This work should also permit reverse debugging of OCaml programs
using gdb.

A very small snippet of the work in progress is below.

Mark

--

(gdb) b Foo.blah2
Breakpoint 1 at 0x408d00: file foo.ml, line 9.
(gdb) r
Starting program: foo

Breakpoint 1, Foo.blah2 (arg1="foo", arg2=64, arg3=<foo.ml:19>,
arg4="some string") at foo.ml:9
9	let blah2 arg1 arg2 arg3 arg4 =
(gdb) show lang
The current source language is "auto; currently ocaml".
(gdb) step
10	  let x = Printf.sprintf "42%d%s" 64 arg1 in
(gdb) step
Printf.sprintf (fmt="42%d%s") at printf.ml:679
679	let sprintf fmt = ksprintf (fun s -> s) fmt;;
(gdb) step
Printf.ksprintf (k=<printf.ml:679>) at printf.ml:675
675	let ksprintf k =