1 files changed, 14 insertions, 0 deletions
diff --git a/gdb/cheri-compressed-cap/test/sail_failure.c b/gdb/cheri-compressed-cap/test/sail_failure.c
new file mode 100644
index 00000000000..b725d42c6be
--- /dev/null
+++ b/gdb/cheri-compressed-cap/test/sail_failure.c
@@ -0,0 +1,14 @@
+#include "sail_failure.h"
+
+void sail_match_failure(sail_string msg)
+{
+  fprintf(stderr, "Pattern match failure in %s\n", msg);
+  exit(EXIT_FAILURE);
+}
+
+unit sail_assert(bool b, sail_string msg)
+{
+  if (b) return UNIT;
+  fprintf(stderr, "Assertion failed: %s\n", msg);
+  exit(EXIT_FAILURE);
+}