1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
import re
# Trim trailing numbers on symbols.
#
def trim_basename(name):
return re.sub(r"(caml.*)_[0-9]+", r"\1", name)
class PrintBacktrace (gdb.Command):
"""Print backtrace by walking GDB frames"""
def __init__ (self):
super (PrintBacktrace, self).__init__ ("print_backtrace", gdb.COMMAND_USER)
def invoke (self, arg, from_tty):
frame = gdb.selected_frame ()
while (not (frame is None)):
print("frame %i: %s"% (frame.level(), trim_basename(frame.name())))
frame = frame.older();
PrintBacktrace ()
# Usage:
# (gdb) print-backtrace
|
