gnu.cfg: Added support for __builtin_unreachable () (danmar#6359)

Reference: https://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html
chrchr-github · Apr 28, 2024 · b3f3606 · b3f3606
1 parent 1b37807
commit b3f3606
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) -->