ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-21 02:01:38 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

os: avoid warning in platform driver

Browse Source 
calling wrong destructor issued by clang/llvm static analyzer

Issue #3022
This commit is contained in:
Alexander Boettcher 2018-10-30 10:10:19 +01:00 committed by Norman Feske
parent c2d54aaede
commit 9bb0e10eec
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/src/drivers/platform/spec/x86/pci_device_component.h
View File

@ -242,7 +242,7 @@ class Platform::Device_component : public Genode::Rpc_object<Platform::Device>,
{
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++) {