Nice hint, yeah that helped me find it:
index 9ff94aa..63b3fdf 100644
--- a/gdb/python/lib/gdb/printer/bound_registers.py
+++ b/gdb/python/lib/gdb/printer/bound_registers.py
@@ -25,7 +25,7 @@ class MpxBound128Printer:
def to_string (self):
upper = self.val["ubound"]
lower = self.val["lbound"]
- size = (long) ((upper) - (lower))
+ size = (int) ((upper) - (lower))
if size > -1:
size = size + 1
result = '{lbound = %s, ubound = %s} : size %s' % (lower, upper, size)
I'll submit that patch to gdb, that fixed the exception.