Let memory allocators trap by default when attempting to allocate beyond capacity.

2 files changed, 37 insertions, 0 deletions

diff --git a/cassert/CMakeLists.txt b/cassert/CMakeLists.txt
new file mode 100644
index 0000000..855f261
--- /dev/null
+++ b/cassert/CMakeLists.txt
@@ -0,0 +1,8 @@
+cmake_minimum_required(VERSION 3.0)
+
+project(cassert)
+
+add_library(cassert INTERFACE)
+
+target_include_directories(cassert INTERFACE
+  include)
diff --git a/cassert/include/cassert.h b/cassert/include/cassert.h
new file mode 100644
index 0000000..3349b55
--- /dev/null
+++ b/cassert/include/cassert.h
@@ -0,0 +1,29 @@
+#pragma once
+
+#include <assert.h> // For convenience, bring in soft assertions with assert().
+#include <signal.h>
+
+// Allow the client to define their own LOGE() macro.
+#ifndef LOGE
+#include <stdio.h>
+#define LOGE(...)                                            \
+  {                                                          \
+    fprintf(stderr, "[ASSERT] %s:%d: ", __FILE__, __LINE__); \
+    fprintf(stderr, __VA_ARGS__);                            \
+    fprintf(stderr, "\n");                                   \
+  }
+#endif // LOGE
+
+#define TRAP() raise(SIGTRAP)
+
+/// Unconditional hard assert.
+#define FAIL(message) \
+  LOGE(message);      \
+  TRAP();
+
+/// Conditional hard assert.
+#define ASSERT(condition)                 \
+  if (!condition) {                       \
+    LOGE("Assertion failed: " #condition) \
+    TRAP();                               \
+  }