commit aa6c741ebfba47ef4eb17e9ceb982c3e0c5f80bd
parent 9f9ac43fe8e0b5ff33128ebe29fbdb4d62be8099
Author: deurzen <m.deurzen@tum.de>
Date: Sat, 6 Feb 2021 22:48:05 +0100
fixes watchpoint delete bug
Diffstat:
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/project/extract_sizeret.py b/project/extract_sizeret.py
@@ -234,7 +234,9 @@ class FreeBreakpoint(gdb.Breakpoint):
if address in watchpoints:
print("Deleting watchpoint")
n_watchpoints = n_watchpoints - len(watchpoints[address])
- watchpoints[address].delete()
+
+ for watchpoint in watchpoints[address]:
+ watchpoint.delete()
if address in mem_map:
if debug: