This fixes the exception '`ValueError: invalid literal for int() with base 10`
if `str(gdbval)` returns a hexadecimal value (e.g. '0xa0'). This is the case if
the output-radix is set to 16 in gdb. See
https://sourceware.org/gdb/onlinedocs/gdb/Numbers.html for more information.
(cherry picked from commit
6f53d34fb0f944a8c0ee530334c353559ac40f72)
Co-authored-by: Marc Hartmayer <marc1006@users.noreply.github.com>
def int_from_int(gdbval):
- return int(str(gdbval))
+ return int(gdbval)
def stringify(val):