1 files changed, 8 insertions, 0 deletions
diff --git a/ecomp-c/builtin_unreachable.c b/ecomp-c/builtin_unreachable.c
new file mode 100644
index 0000000..4ba239e
--- /dev/null
+++ b/ecomp-c/builtin_unreachable.c
@@ -0,0 +1,8 @@
+/*
+ * __builtin_unreachable for pcc/tcc marking exit in
+ * libc-freestanding.c syscall1noret
+ */
+
+void __builtin_unreachable( void )
+{
+}