From f4dd61f895e8ae0aab7cedd39df673bb954b9a71 Mon Sep 17 00:00:00 2001
From: Peter Goodman <peter.goodman@gmail.com>
Date: Wed, 13 Dec 2017 14:16:21 -0500
Subject: [PATCH] Added overrides for assert_fail and stack_chk_fail.

---
 src/lib/DeepState.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/lib/DeepState.c b/src/lib/DeepState.c
index 1dd4577..866a574 100644
--- a/src/lib/DeepState.c
+++ b/src/lib/DeepState.c
@@ -383,6 +383,12 @@ void __assert_fail(const char * assertion, const char * file,
   DeepState_LogFormat(DeepState_LogFatal,
                       "%s(%u): Assertion %s failed in function %s",
                       file, line, assertion, function);
+  __builtin_unreachable();
+}
+
+void __stack_chk_fail(void) {
+  DeepState_Log(DeepState_LogFatal, "Stack smash detected.");
+  __builtin_unreachable();
 }
 
 DEEPSTATE_END_EXTERN_C