[Bug python/19800] New: no way to get a frame id from a frame

["tromey at sourceware dot org" <sourceware-bugzilla at sourceware dot org>]

https://sourceware.org/bugzilla/show_bug.cgi?id=19800

            Bug ID: 19800
           Summary: no way to get a frame id from a frame
           Product: gdb
           Version: unknown
            Status: NEW
          Severity: normal
          Priority: P2
         Component: python
          Assignee: unassigned at sourceware dot org
          Reporter: tromey at sourceware dot org
  Target Milestone: ---

There doesn't seem to be any way to get a frame id from a gdb.Frame.
This would be handy.  My unwinder (in Python) computes a frame id
for gdb's use.  I'd also like to associate some other data with this
frame id for use in related frame filter; but since there's no way
to get the frame id, I couldn't see a way to do this.
As a workaround I'm keying by the stack pointer, but that seems
second-best.

-- 
You are receiving this mail because:
You are on the CC list for the bug.