13 Jun
2012
13 Jun
'12
9:20 p.m.
Actually, a much better solution would be to implement the JIT-debug info generation supported by gdb (including variable mapping etc).
This should make it possible to simply debug using gdb, with symbols.
This can be done using a plugin with GDB 7.5+ (I think) http://playingwithpointers.com/archives/633
or the old JIT registration API from GDB 7.0: http://sourceware.org/gdb/current/onlinedocs/gdb/JIT-Interface.html http://llvm.org/docs/DebuggingJITedCode.html
Doing it using a plugin seems to be the way to go, since that could also handle things like priting of pike values, etc.