diff options
| -rw-r--r-- | src/core/debugger/debugger.cpp | 2 | ||||
| -rw-r--r-- | src/core/debugger/debugger_interface.h | 4 | ||||
| -rw-r--r-- | src/core/debugger/gdbstub.h | 2 |
3 files changed, 6 insertions, 2 deletions
diff --git a/src/core/debugger/debugger.cpp b/src/core/debugger/debugger.cpp index 7a2012d3c..dd3e330e6 100644 --- a/src/core/debugger/debugger.cpp +++ b/src/core/debugger/debugger.cpp @@ -50,7 +50,7 @@ public: InitializeServer(port); } - ~DebuggerImpl() { + ~DebuggerImpl() override { ShutdownServer(); } diff --git a/src/core/debugger/debugger_interface.h b/src/core/debugger/debugger_interface.h index 0b357fcb5..e6d4c0190 100644 --- a/src/core/debugger/debugger_interface.h +++ b/src/core/debugger/debugger_interface.h @@ -24,6 +24,8 @@ enum class DebuggerAction { class DebuggerBackend { public: + virtual ~DebuggerBackend() = default; + /** * Can be invoked from a callback to synchronously wait for more data. * Will return as soon as least one byte is received. Reads up to 4096 bytes. @@ -51,6 +53,8 @@ class DebuggerFrontend { public: explicit DebuggerFrontend(DebuggerBackend& backend_) : backend{backend_} {} + virtual ~DebuggerFrontend() = default; + /** * Called after the client has successfully connected to the port. */ diff --git a/src/core/debugger/gdbstub.h b/src/core/debugger/gdbstub.h index b93a3a511..e58d60719 100644 --- a/src/core/debugger/gdbstub.h +++ b/src/core/debugger/gdbstub.h @@ -19,7 +19,7 @@ class System; class GDBStub : public DebuggerFrontend { public: explicit GDBStub(DebuggerBackend& backend, Core::System& system); - ~GDBStub(); + ~GDBStub() override; void Connected() override; void Stopped(Kernel::KThread* thread) override; |