| commit | 95fc420a40ebcbd510b41df77b93b11ec819f0a1 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tromey@adacore.com> | Tue Jan 23 10:25:33 2024 -0700 |
| committer | Tom Tromey <tromey@adacore.com> | Mon Feb 12 10:42:21 2024 -0700 |
| tree | 9a7fe3bec7cc13c4af9845064a52ca6c12805304 | |
| parent | eed5f59c8c7630787196f09d612456e877ffca65 [diff] |
Clean up suppress_new_breakpoint_event Kévin pointed out that suppress_new_breakpoint_event would do the wrong thing if it happened to be used reentrantly. While I don't think this can happen, it's also easy and clearly better to make it robust.