From f90a4a85e0e9f03c725c0af21447c577a1eb0b65 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Mon, 10 Apr 2017 19:57:38 +0200
Subject: [PATCH] base-nova: workaround for compiling with GCC 6

Issue #2378
---
 repos/base-nova/src/lib/base/stack.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/base-nova/src/lib/base/stack.cc b/repos/base-nova/src/lib/base/stack.cc
index 0475f5c535..1b4b02246b 100644
--- a/repos/base-nova/src/lib/base/stack.cc
+++ b/repos/base-nova/src/lib/base/stack.cc
@@ -113,6 +113,8 @@ void prepare_reinit_main_thread()
  ** Thread **
  ************/
 
+/* prevent the compiler from optimizing out the 'this' pointer check */
+__attribute__((optimize("-fno-delete-null-pointer-checks")))
 Native_utcb *Thread::utcb()
 {
 	/*