Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

gdb: Add support for detecting deleted breakpoints #303

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

lrittel
Copy link

@lrittel lrittel commented Jul 12, 2022

Added the change below.

This change depends on gdb having python support, which is a small breaking change.

I haven't tested if the changes intefere with other debugger configurations.

I dabbled with using the --interpreter mi3 option before settling on this solution.
Using the GDB/MI seems to be a lot cleaner but this would require a few major architectural changes to realgud and would break a few features like attaching to a running gdb session (I don't know of a way to enable the mi at runtime) and eshell support (as realgud would have to rewrite the command buffer).

Added a python event listener that prints a message whenever a
breakpoint is deleted.

The regexp for detecting deleted breakpoints is now applied repeatedly
as long as there are additional matches as the gdb listener writes
one message for each deleted breakpoint.

This should fix #278, #180 and #61.

Added a python event listener that prints a message whenever a
breakpoint is deleted.

The regexp for detecting deleted breakpoints is now applied repeatedly
as long as there are additional matches as the gdb listener writes
one message for each deleted breakpoint.

This should fix realgud#278, realgud#180 and realgud#61.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

clear in GDB does not remove breakpoints marks in the code buffer
1 participant