From 68d5293f015504f190d77fd037f92a9dce45c742 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 23 May 2019 13:34:51 +0200
Subject: [PATCH] platform_drv: adjust to g++ 8.3.0

Issue #3307
---
 repos/os/src/drivers/platform/spec/x86/pci_device.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/os/src/drivers/platform/spec/x86/pci_device.cc b/repos/os/src/drivers/platform/spec/x86/pci_device.cc
index 5386cd46ec..aaed6007bb 100644
--- a/repos/os/src/drivers/platform/spec/x86/pci_device.cc
+++ b/repos/os/src/drivers/platform/spec/x86/pci_device.cc
@@ -111,10 +111,12 @@ void Platform::Device_component::config_write(unsigned char address,
 		case Device_config::PCI_CMD_REG: /* COMMAND register - first byte */
 			if (size == Access_size::ACCESS_16BIT)
 				break;
+			[[fallthrough]];
 		case Device_config::PCI_CMD_REG + 1: /* COMMAND register - second byte */
 		case 0xd: /* Latency timer */
 			if (size == Access_size::ACCESS_8BIT)
 				break;
+			[[fallthrough]];
 		default:
 			Genode::warning(_device_config, " write access to "
 			                "address=", Genode::Hex(address), " "