gnu.cfg: Added support for __builtin_unreachable ()

danmar · Apr 28, 2024 · 3396ea0 · 3396ea0
1 parent 1b37807
commit 3396ea0
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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) -->