GDB: info locals says: No symbol table info available

Ecosystem
1

I’m using 5.3 with enabled frame pointers and -inline=1 -O2 -g is enabled.
What else should I check?

(gdb) r
Starting program: /tmp/a.exe
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1".

Breakpoint 1, camlA.fac_5 () at a.ml:3
3               n*fac (n-1)
(gdb) info locals
No locals.
2

There is no support for debugging local variables in native OCaml executables. OxCaml should have better support but it’s very experimental.

3

Sadly not possible as things stand. OCaml only produces useful information for backtraces, mapping source code to assembly and basic stepping through OCaml code. The manual section should be coming in OCaml 5.4.1 (Add a chapter on native debugger to the manual. by tmcgilchrist · Pull Request #13747 · ocaml/ocaml · GitHub).