From 6e2bd945b17566b3a98ef1e69c3cb7be4923d694 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Sat, 10 Mar 2018 13:52:23 +0100 Subject: [PATCH] ports: support g++ -Weffc++ for vmm utils Issue #2715 --- repos/ports/include/vmm/vcpu_thread.h | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/repos/ports/include/vmm/vcpu_thread.h b/repos/ports/include/vmm/vcpu_thread.h index 9fab2923c2..7b732c011e 100644 --- a/repos/ports/include/vmm/vcpu_thread.h +++ b/repos/ports/include/vmm/vcpu_thread.h @@ -41,6 +41,8 @@ class Vmm::Vcpu_thread virtual Genode::addr_t exc_base() = 0; virtual void start(Genode::addr_t) = 0; + + virtual ~Vcpu_thread() { }; }; class Vmm::Vcpu_other_pd : public Vmm::Vcpu_thread @@ -53,6 +55,12 @@ class Vmm::Vcpu_other_pd : public Vmm::Vcpu_thread Genode::addr_t _exc_pt_sel; + /* + * Noncopyable + */ + Vcpu_other_pd(Vcpu_other_pd const &); + Vcpu_other_pd &operator = (Vcpu_other_pd const &); + public: Vcpu_other_pd(Cpu_session * cpu_session,