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) -->