From 3396ea09791701dbbf7b3511251a3364029202f6 Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Sun, 28 Apr 2024 16:15:51 +0200
Subject: [PATCH] gnu.cfg: Added support for __builtin_unreachable ()

---
 cfg/gnu.cfg | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index e6b4fb8525a..63dda17e4bc 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -217,7 +217,8 @@
     <arg nr="2"/>
   </function>
   <!-- void __builtin_trap (void) -->
-  <function name="__builtin_trap">
+  <!-- void __builtin_unreachable (void) -->
+  <function name="__builtin_trap,__builtin_unreachable">
     <noreturn>true</noreturn>
   </function>
   <!-- int __builtin_popcount (unsigned int x) -->