base: add copy constructor to 'Genode::Session_label'

Fixes #3333
2019-05-06 14:15:45 +02:00 · 2019-05-06 14:15:45 +02:00 · fe878e65de
commit fe878e65de
parent d223539165
1 changed files with 10 additions and 0 deletions
--- 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();