From 9bb0e10eec8a686c0477954bd48840a1e19c7886 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Tue, 30 Oct 2018 10:10:19 +0100 Subject: [PATCH] os: avoid warning in platform driver calling wrong destructor issued by clang/llvm static analyzer Issue #3022 --- repos/os/src/drivers/platform/spec/x86/pci_device_component.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/os/src/drivers/platform/spec/x86/pci_device_component.h b/repos/os/src/drivers/platform/spec/x86/pci_device_component.h index 71c1e29fc0..f2386b5ac6 100644 --- a/repos/os/src/drivers/platform/spec/x86/pci_device_component.h +++ b/repos/os/src/drivers/platform/spec/x86/pci_device_component.h @@ -242,7 +242,7 @@ class Platform::Device_component : public Genode::Rpc_object, { if (_irq_session) { _env.ep().rpc_ep().dissolve(_irq_session); - _irq_session->~Irq_session(); + _irq_session->~Irq_session_component(); } for (unsigned i = 0; i < Device::NUM_RESOURCES; i++) {