summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/core/debugger/debugger.cpp2
-rw-r--r--src/core/debugger/debugger_interface.h4
-rw-r--r--src/core/debugger/gdbstub.h2
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;