From aa44ada2d44ec650f8afa1cde53a800c99bdb9b2 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Sat, 29 Apr 2023 16:05:41 +0200
Subject: [PATCH] okl4: fix hanging tests when built with gcc 12

Fixes #4838
---
 repos/base-okl4/lib/mk/kernel-okl4.inc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/base-okl4/lib/mk/kernel-okl4.inc b/repos/base-okl4/lib/mk/kernel-okl4.inc
index d1c3bf7429..f0ddf221b4 100644
--- a/repos/base-okl4/lib/mk/kernel-okl4.inc
+++ b/repos/base-okl4/lib/mk/kernel-okl4.inc
@@ -38,6 +38,7 @@ CC_OPT          += -Wno-write-strings -Wredundant-decls -Wundef \
                    -fno-builtin -fomit-frame-pointer \
                    -fno-exceptions -fno-unwind-tables \
                    -fno-asynchronous-unwind-tables \
+                   -fno-tree-dse \
                    -finline-limit=99999999 $(addprefix -D,$(CONFIG)) \
                    "-D__USER__=\"Genode Labs\""
 CC_OPT          += -DCONFIG_MAX_THREAD_BITS=10