ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-21 14:37:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

platform_drv: avoid gcc 6 warnings

Browse Source
This commit is contained in:
Alexander Boettcher 2017-04-20 20:06:08 +02:00 committed by Christian Helmuth
parent d8f60a8ea1
commit 1220a06c3b
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
repos/os/src/drivers/platform/spec/x86/pci_session_component.h
View File

@ -276,7 +276,7 @@ class Platform::Session_component : public Genode::Rpc_object<Session>
throw Out_of_metadata(); throw Out_of_metadata();
} }
~Quota_reservation() ~Quota_reservation() noexcept(false)
{ {
if (!guard.revert_withdraw(amount)) if (!guard.revert_withdraw(amount))
throw Fatal(); throw Fatal();
@ -624,9 +624,9 @@ class Platform::Session_component : public Genode::Rpc_object<Session>
if (!find_dev_in_policy(policy_device, DOUBLET)) if (!find_dev_in_policy(policy_device, DOUBLET))
return; return;
Genode::error("'", _label, "' - device " Genode::error("'", _label, "' - device "
"'", Genode::Cstring(policy_device), "' " "'", Genode::Cstring(policy_device), "' "
"is part of more than one policy"); "is part of more than one policy");
} catch (Genode::Xml_node::Nonexistent_attribute) { } catch (Genode::Xml_node::Nonexistent_attribute) {
Genode::error("'", _label, "' - device node " Genode::error("'", _label, "' - device node "
"misses a 'name' attribute"); "misses a 'name' attribute");