From fe878e65deb6f6c09b34bf495c7273f47e62695d Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Mon, 6 May 2019 14:15:45 +0200
Subject: [PATCH] base: add copy constructor to 'Genode::Session_label'

Fixes #3333
---
 repos/base/include/base/session_label.h | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/repos/base/include/base/session_label.h b/repos/base/include/base/session_label.h
index 756ed5c75..d5e752d12 100644
--- a/repos/base/include/base/session_label.h
+++ b/repos/base/include/base/session_label.h
@@ -33,6 +33,16 @@ struct Genode::Session_label : String<160>
 		using String = String<capacity()>;
 		using String::String;
 
+		/**
+		 * Copy constructor
+		 *
+		 * This constructor is needed because GCC 8 disregards derived
+		 * copy constructors as candidate.
+		 */
+		template <size_t N>
+		Session_label(Genode::String<N> const &other)
+		: Genode::String<160>(other) { }
+
 		Session_label last_element() const
 		{
 			char const * const full = string();